In-sample calibration yields conformal calibration guarantees
Extracted source text · arXiv 2503.03841
\documentclass[a4paper, 11pt]{article}
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage[round]{natbib}
\usepackage{bbm}
\usepackage{textcomp}
%\usepackage{refcheck}
\usepackage{url}
\usepackage[margin=2.5cm]{geometry}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{subcaption}
\usepackage{mathtools}
\usepackage{mathrsfs}
\usepackage{extarrows}
\usepackage{comment}
\usepackage{enumitem} % cross-referencing items
\usepackage{stmaryrd,scalerel} % bag symbol
\usepackage{hyperref}
\hypersetup{colorlinks=true,linkcolor=blue,filecolor=blue, citecolor = blue}
\input{macros}
\renewcommand{\subset}{\subseteq}
\theoremstyle{plain} %default
\newtheorem{thm}{Theorem}[section]
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{cor}[thm]{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}[section]
\newtheorem{conj}{Conjecture}[section]
\newtheorem{exmp}{Example}[section]
\newtheorem{assump}{Assumption}[section]
\theoremstyle{remark}
\newtheorem{rem}{Remark}[section]
\newtheorem*{note}{Note}
\newtheorem{case}{Case}
\newcommand{\alex}[1]{{\color{orange} Alex:``#1''}}
\newcommand{\sam}[1]{{\color{blue} Sam:``#1''}}
\newcommand{\johanna}[1]{{\color{Emerald} Johanna:``#1''\\}}
\newcommand{\george}[1]{{\color{purple} George:``#1''}}
\makeatletter
\let\@fnsymbol\@arabic
\makeatother
\begin{document}
\title{In-sample calibration yields conformal calibration guarantees}
\date{}
\author{Sam Allen\thanks{Institute of Statistics, Karlsruhe Institute of Technology, Karlsruhe, Germany. \url{sam.allen@kit.edu}}, Georgios Gavrilopoulos\thanks{Seminar for Statistics, ETH Zurich, Zurich, Switzerland. \url{georgios.gavrilopoulos@stat.math.ethz.ch}}, Alexander Henzi\thanks{\url{henzi.alexander@gmail.com}}, Gian-Reto Kleger\thanks{Division of Intensive Care Medicine, Cantonal Hospital, St.Gallen, Switzerland. \url{gian-reto.kleger@kssg.ch}} and Johanna Ziegel\thanks{Seminar for Statistics, ETH Zurich, Zurich, Switzerland. \url{ziegel@stat.math.ethz.ch}}}
\maketitle
\vspace{-0.5cm}
\begin{abstract}
Conformal predictive systems allow forecasters to issue predictive distributions for real-valued future outcomes that have out-of-sample calibration guarantees. On a more abstract level, conformal prediction makes use of in-sample calibration guarantees to construct bands of predictions with out-of-sample guarantees under exchangeability. The calibration guarantees are typically that prediction intervals derived from the predictive distributions have the correct marginal coverage. We extend this line of reasoning to stronger notions of calibration that are common in statistical forecasting theory.
We take two prediction methods that are calibrated in-sample, and \emph{conformalize} them to obtain conformal predictive systems with stronger out-of-sample calibration guarantees than existing approaches. The first method corresponds to a binning of the data, while the second leverages isotonic distributional regression (IDR), a non-parametric distributional regression method under order constraints. We study the theoretical properties of these new conformal predictive systems, and compare their performance in a simulation experiment. They are then applied to two case studies on European temperature forecasts and on predictions for the length of patient stay in Swiss intensive care units. Both approaches are found to outperform existing conformal predictive systems, while conformal IDR additionally provides a natural method for quantifying epistemic uncertainty of the predictions.
\end{abstract}
\section{Introduction}
When forecasting an unknown outcome $Y$, it is becoming increasingly common to issue forecasts that are probabilistic. Probabilistic forecasts characterize the uncertainty in the outcome, making them more useful for decision making than single-valued point forecasts. When $Y \in \R$, a full probabilistic forecast consists of a distribution over $\R$, thus quantifying the probability of any future event associated with $Y$. A review of probabilistic forecasting can be found in \cite{GneitingKatzfuss2014}.
A pertinent question to ask is how we can generate \emph{calibrated} forecasts. A probabilistic forecast is calibrated if its predicted event probabilities conform with observed frequencies. It is common to assess calibration by checking for uniformity of forecast probability integral transform (PIT) values \citep{DawidEtAl1984,DieboldEtAl1998,GneitingEtAl2007}, which corresponds to the prediction intervals derived from the forecast distribution having the correct marginal coverage. However, this is a fairly weak requirement \citep[see e.g.][]{GneitingResin2023}, and several stronger notions of calibration have therefore also been proposed \citep{Tsyplakov2011,HenziZiegelETAL2021,GneitingResin2023,ArnoldZiegel2023}.
Conformal prediction provides a framework to generate probabilistic forecasts that satisfy theoretical calibration guarantees by construction, under the assumption of exchangeability. This has received much attention recently, finding use in a variety of application domains. Textbook introductions can be found in \citet{VovkGammermanETAL2022,AngelopoulosBarberETAL2024}.
Here, we focus on the case where $(X_1,Y_1),\dots,(X_{n+1},Y_{n+1})$ is an exchangeable sequence, with $X_i \in \mathcal{X}$, $Y_i \in \mathbb{R}$, and the goal is predict the unknown $n+1$-th observation $Y_{n+1}$ using the first $n$ covariate-observation pairs and the $n+1$-th covariate $X_{n+1}$. \cite{VovkEtAl2017} introduced \emph{conformal predictive systems} as a means to construct full probabilistic forecasts for $Y_{n+1}$ with theoretical calibration guarantees. Conformal predictive systems are \emph{bands} of distribution functions that are guaranteed to contain a calibrated probabilistic forecast distribution. In theory, the bands can be generated from any distributional regression procedure, essentially providing a re-calibration of the regression output \citep{VovkEtAl2020}. \cite{VovkEtAl2017} derived conformal predictive systems based on linear regression output, referred to as the \emph{Least Squares Prediction Machine (LSPM)}, while \cite{VovkEtAl2018kern} applied the approach to kernel ridge regression, and \cite{VovkGammermanETAL2022} to nearest neighbor prediction.
However, the general framework proposed by \cite{VovkEtAl2017} yields conformal predictive systems that satisfy a marginal, or unconditional, notion of calibration that is fairly weak. The difference between conditional and unconditional notions of calibration is discussed by \cite{GneitingResin2023}, and by \cite{FontanaEtAl2023} in the context of conformal prediction sets. \cite{AllenEtAl2024} demonstrate that a probabilistic forecast can be unconditionally calibrated without issuing reliable forecasts for extreme events. \cite{BostromEtAl2021} also mentioned the need for conformal predictive systems to satisfy stronger notions of calibration, and introduced Mondrian-based predictive systems that satisfy a form of conditional calibration; the approach works by binning the available data, and generating conformal prediction systems separately for each bin, thereby extending Mondrian conformal prediction for binary outcomes \citep[Section 4]{VovkGammermanETAL2022}. \citet{ChernozhukovWuthrichETAL2021} alternatively proposed conformal predictive systems that satisfy conditional calibration guarantees asymptotically under correct model specification.
In this paper, we demonstrate that any probabilistic forecasting system (or distributional regression procedure) that satisfies in-sample calibration guarantees can be used to derive predictive systems with (non-asymptotic) conformal calibration guarantees; that is, the resulting predictive systems are guaranteed to contain a calibrated probabilistic forecast. Using this, we introduce conformal predictive systems based on two existing forecasting methods. The first approach, \emph{conformal binning}, corresponds to a binning of the data, modifying the Mondrian predictive systems of \cite{BostromEtAl2021} so that they satisfy a stronger notion of calibration. This is closely related to analog forecasting systems \citep[see e.g.][]{HamillWhitaker2006}.
The second approach, conformal isotonic distributional regression (IDR), derives conformal predictive systems based on IDR \citep{HenziZiegelETAL2021}. IDR is a non-parametric distributional regression technique that finds the optimal forecast distribution under the assumption that there is an isotonic relationship between the covariate $X_i$ and the outcome $Y_i$. The fitted IDR model corresponds to a sample estimate of the isotonic conditional law of $Y_i$ given $X_i$ \citep{ArnoldZiegel2023}, and IDR has found particular use as a method to convert point forecasts to probabilistic forecasts, without the need for additional assumptions \citep{WalzEtAl2024}.
Binning and IDR forecasts satisfy in-sample \emph{auto-calibration} and \emph{isotonic calibration}, respectively, which are relatively strong notions of forecast calibration that condition on facets of the predictive distribution \citep{ArnoldZiegel2023}. The calibration of IDR holds independently of any isotonicity assumption on the data generating process. The two approaches that we introduce therefore generate predictive systems with stronger calibration guarantees than existing conformal predictive systems, such as the LSPM. Moreover, these results suggest that by conditioning on the predictive distribution itself, rather than the covariates used to construct it, we can circumvent well-known impossibility results related to the conditional calibration of conformal prediction sets \citep{LeiWasserman2014,BarberCandesETAL2021}.
The conformal IDR approach inherits other benefits of standard IDR. Namely, it constitutes a flexible non-parametric forecasting framework that can be implemented out-of-the-box, requiring next to no implementation choices. Conformal IDR is a generalization of the Venn-Abers predictors of \citet{VovkPetejETAL2015} in the binary and categorical case, and is related to the isotonic regression-based conformal prediction systems proposed by \cite{NouretdinovVolkhonskiyETAL2018}. For binary outcomes, Venn-Abers prediction uses isotonic regression to construct conformal predictions with conditional calibration guarantees, extending the seminal work of \cite{ZadroznyElkan2002}. For real-valued outcomes, \cite{NouretdinovVolkhonskiyETAL2018} propose converting an outcome to a sequence of binary exceedances, depending on whether the outcome exceeds a sequence of thresholds. Venn-Abers prediction can then be performed at each threshold to obtain a sequence of probabilities that the outcome will exceed the threshold, which constitutes a predictive distribution function for the real-valued outcome. However, there is no guarantee that the resulting predictive distributions will be valid; that is, the predictive distributions may not be increasing functions of the threshold. \cite{NouretdinovVolkhonskiyETAL2018} argue that this cannot be avoided, and instead introduce an alternative approach, see Example \ref{ex:IVAPD}. We argue that one can indeed obtain valid predictive distributions by performing multiple individual isotonic regression fits at different threshold levels, as motivated by \cite{NouretdinovVolkhonskiyETAL2018}, when formulating the setup slightly differently. This is exactly the conformal IDR approach.
Conformal IDR has the additional appealing property that it provides a natural method for quantifying \emph{epistemic uncertainty} of the predictions. While probabilistic predictions quantify the (aleatoric) uncertainty of the future outcome $Y_{n+1}$, there is also uncertainty in the probabilistic prediction itself, since we never know the true conditional distribution of $Y_{n+1}$ given $X_{n+1}$. This is the epistemic uncertainty of the forecast. Conformal IDR naturally quantifies the epistemic uncertainty in the forecast. Conformal predictive systems generate bands that are guaranteed to contain a calibrated predictive distribution, and we refer to the distance between the lower and upper bands as the \emph{thickness} of the conformal predictive system. The calibration guarantee is only useful if the thickness is not too large. The LSPM generates predictive distributions whose thickness depends only on $n$, the number of previous covariate-observation pairs on which the model is trained, and binning-based conformal predictive systems similarly generate predictions with a fixed thickness in each bin. The thickness of conformal IDR, on the other hand, depends on the covariate value, and how often similar covariate values have been observed in the past. We argue that the thickness of the conformal IDR band can be interpreted in terms of epistemic uncertainty, thereby allowing us to quantify the epistemic and aleatoric uncertainty of the predictions simultaneously. Several studies have argued the need to quantify epistemic forecast uncertainty (also called second-order probabilities or forecast ambiguity), see for example \citet{Seo2009,EckelEtAl2012,KendallGal2017,LofstromLofstromETAL2024}. Conformal IDR quantifies epistemic uncertainty under a non-parametric isotonicity constraint.
In the following section, we introduce notions of probabilistic forecast calibration, and demonstrate that distributional regression procedures with in-sample calibration guarantees can be used to generate predictive systems with conformal calibration guarantees. We discuss three examples of conformal predictive systems: the standard construction proposed by \cite{VovkEtAl2017} based on conformity measures, with the LSPM as a particular example; a conformal binning approach that extends the Mondrian predictive systems of \cite{BostromEtAl2021}; and conformal isotonic distributional regression. Section \ref{sec:properties} discusses theoretical properties of the different conformal predictive systems, including their thickness, and the choice of a crisp predictive distribution function from the conformal IDR bands. The interpretation of the conformal IDR bands in terms of epistemic uncertainty is discussed in Section \ref{sec:epistemic}. We present simulation results for the three predictive systems in Section \ref{sec:sims}, and compare the approaches in two applications to weather forecasting and epidemiological forecasting in Section \ref{sec:app}. Section \ref{sec:disc} summarizes the results. Unless specified otherwise, proofs are collected in Appendix \ref{app:proofs}. Code to implement the three conformal prediction systems, and to reproduce the results herein, is available at \url{https://github.com/sallen12/ConformalIDR}.
\section{Conformalizing probabilistic predictions}
\subsection{Calibration of probabilistic predictions}\label{sec:calibration}
Suppose that the unknown future outcome $Y$ and a predictive distribution function (CDF) $F$ for $Y$ are defined on some common probability space $(\Omega,\F,\prob)$.
For probabilistic forecasts to be useful for decision making, they must be calibrated. When forecasting a binary event occurrence, a forecast is traditionally called calibrated if, when the event is predicted to occur with a given probability, the event does indeed transpire with this predicted probability. When the outcome $Y$ is real-valued instead of binary, it is more challenging to define forecast calibration. In this section, we review notions of calibration that have been proposed in the literature on forecast evaluation.
Inspired by the case of binary outcomes, we might similarly call a forecast $F$ for real-valued outcomes calibrated if $\L(Y \mid F)= F$ almost surely, where $\L(Y \mid \G)$ denotes the conditional law of $Y$ given a $\sigma$-algebra $\G \subseteq \F$, and $\L(Y \mid F)=\L(Y\mid \sigma(F))$. Equivalently,
\[
\prob(Y > y \mid F) = 1 - F(y) \quad \text{almost surely for all $y \in \R$}.
\]
That is, given that we have issued $F$ as our forecast, the outcome $Y$ should arise according to the distribution $F$. \cite{Tsyplakov2011} refers to this as \emph{auto-calibration} of the forecast $F$.
More generally, calibration could be defined with respect to an arbitrary $\sigma$-algebra. We call the forecast $F$ calibrated with respect to a $\sigma$-algebra $\G \subset \F$ (or $\G$-calibrated) if $\L(Y \mid \G) = F$ almost surely \citep{GneitingRanjan2013}. That is, the forecast $F$ is $\G$-calibrated if it is equal to the conditional law of $Y$ given the set of information encapsulated by $\G$. Auto-calibration coincides with $\sigma(F)$-calibration.
This definition of calibration could be generalized further by conditioning on $\sigma$-lattices instead of $\sigma$-algebras. \cite{ArnoldZiegel2023} say that a forecast is \emph{isotonically calibrated} if $\mathcal{L}(Y \mid \mathcal{A}(F)) = F$ almost surely, where $\mathcal{A}(F)$ denotes the $\sigma$-lattice generated by $F$, and $\mathcal{L}(Y \mid \mathcal{A}(F))$ is the isotonic conditional law \citep[Theorem 2.1]{ArnoldZiegel2023}. Equivalently,
\[
\mathbb{P}(Y > y \mid \mathcal{A}(F)) = 1 - F(y) \quad \text{almost surely for all $y \in \R$}.
\]
Isotonic calibration is discussed further in Appendix \ref{app:isotoniccal}, and further details on $\sigma$-lattices can be found in \cite{ArnoldZiegel2023} and references therein. Similarly, if $\L(Y \mid \mathcal{C}) = F$ almost surely for some $\sigma$-lattice $\C \subset \F$, then we call $F$ isotonically $\C$-calibrated. Isotonic calibration coincides with isotonic $\mathcal{A}(F)$-calibration.
These notions of calibration can be relaxed by conditioning only on particular functionals of the forecast distribution, such as threshold exceedances or quantiles \citep{GneitingResin2023}. The forecast $F$ is \emph{threshold calibrated} if
\[
\prob(Y > y \mid F(y)) = 1 - F(y) \quad \text{almost surely for all $y \in \R$}
\]
\citep{HenziZiegelETAL2021}, and \emph{quantile calibrated} if
\[
\prob(Y < F^{-1}(\alpha) \mid F^{-1}(\alpha)) \leq \alpha \leq \prob(Y \leq F^{-1}(\alpha) \mid F^{-1}(\alpha)) \quad \text{almost surely for all $\alpha \in (0, 1)$}
\]
\citep{ArnoldZiegel2023}. Threshold calibration and quantile calibration are equivalent under continuity assumptions on $F$ \citep[Theorem 2.16]{GneitingResin2023}.
These can be weakened further by requiring only that these criteria hold unconditionally. The forecast $F$ is called \emph{probabilistically calibrated} for $Y$ if
\begin{equation}\label{eq:probcal}
\prob(F(Y) < \alpha) \le \alpha \le \mathbb{P}(F(Y-) \le \alpha), \quad \text{for all $\alpha \in (0,1)$,}
\end{equation}
where $F(x-) = \lim_{z \uparrow x} F(z)$. If $F$ is continuous, probabilistic calibration implies that the forecast PIT values $F(Y)$ follow a standard uniform distribution; this notion of calibration is most commonly assessed in practice. If $F$ is deterministic, the above condition implies that $F$ is the CDF of $Y$, see Proposition \ref{prop:PIT1} in Appendix \ref{app:PIT}.
\begin{rem}\label{rem:probcal}
The definition of probabilistic calibration at \eqref{eq:probcal} slightly differs from the literature. \citet[Definition 2.7]{GneitingRanjan2013} call a forecast probabilistically calibrated if
\begin{equation}\label{eq:probcal2}
\prob(F(Y-) + V(F(Y) - F(Y-)) \le \alpha) = \alpha \quad \text{for all $\alpha \in (0,1)$},
\end{equation}
where $V$ is a standard uniform random variable that is independent of $(F,Y)$. When $F$ is continuous, the two definitions are equivalent. Equation \eqref{eq:probcal2} implies $\eqref{eq:probcal}$ since $\{F(Y) < \alpha\} \subset \{F(Y-) + V(F(Y) - F(Y-)) \le \alpha\} \subset \{F(Y-) \le \alpha\}$. Conversely, while \eqref{eq:probcal} also implies that there exists a randomization variable $V$ taking values in $[0,1]$ such that the expression at \eqref{eq:probcal2} is standard uniform, $V$ may now depend on $(F,Y)$, see Proposition \ref{prop:PIT2} in Appendix \ref{app:PIT}. In other words, condition \eqref{eq:probcal} means that one can define a generalized probability integral transform that is standard uniform. We therefore consider \eqref{eq:probcal} a sensible definition of probabilistic calibration that preserves the desirable properties of \eqref{eq:probcal2} but is often easier to handle with discrete predictive CDFs, and is not restricted to the construction of a specific randomization variable $V$. In applied contexts, diagnostic plots for checking \eqref{eq:probcal} are as straightforward as those for checking \eqref{eq:probcal2}.
\end{rem}
Auto-calibration implies isotonic calibration, and (under mild conditions that are satisfied in all relevant cases of this paper) isotonic calibration implies threshold, quantile, and probabilistic calibration. Under smoothness assumptions, threshold calibration and quantile calibration both imply probabilistic calibration \citep{GneitingResin2023,ArnoldZiegel2023}. These implications are displayed in Figure \ref{fig:implications}, see also \citet[Figure 1]{ArnoldEtAl2024}.
\begin{figure}
\centering
\[
\begin{array}[c]{c c c}
& \mathrm{AC} & \\
& \Downarrow & \\
& \mathrm{IC} & \\
\multicolumn{3}{c}{\Swarrow \quad \Searrow} \\
\mathrm{TC} & \big\Downarrow & \mathrm{QC} \\
\multicolumn{3}{c}{\Sehookarrow \quad \Swhookarrow} \\
& \mathrm{PC} & \\
\end{array}
\]
\caption{Hierarchies of the notions of forecast calibration. Auto-calibration (AC) implies isotonic calibration (IC), which itself implies threshold calibration (TC), quantile calibration (QC), and probabilistic calibration (PC). Under smoothness assumptions, denoted by a hooked arrow, TC and QC imply PC.}
\label{fig:implications}
\end{figure}
Ideally, we would like to issue forecast distributions that are calibrated by construction. Since this is generally too difficult to achieve, it is convenient to relax the definition of a forecast CDF to allow for a whole predictive system, that is, a ``band'' of predictive distributions \citep{VovkGammermanETAL2022}. We can then generate predictive systems that contain a CDF with calibration guarantees. Clearly, the band has to be small or thin enough to make this calibration guarantee useful. As far as we are aware, this paper is the first attempt to thoroughly connect (conformal) predictive systems with the extant literature on probabilistic forecast calibration.
\begin{defn}\label{def:ps}
A \emph{predictive system} is a set $\Pi \subseteq \R \times [0,1]$ of the form
\[
\Pi = \{(y,\tau) \in \R \times [0,1] \mid \Pi_\ell(y) \le \tau \le \Pi_u(y)\},
\]
where the lower and upper bounds $\Pi_\ell:\R \to [0,1]$, $\Pi_u:\R \to [0,1]$ are increasing, satisfy $\Pi_\ell(y) \le \Pi_u(y)$, $y \in \R$, and
\[
\lim_{y \to -\infty} \Pi_\ell(y) = 0, \quad \lim_{y \to \infty} \Pi_u(y) = 1.
\]
The \emph{thickness} of a predictive system $\Pi$ is defined as
\[
\mathrm{th}(\Pi) = \inf\{\varepsilon > 0 \mid \Pi_u(y) - \Pi_\ell(y) \le \varepsilon \; \text{for all but finitely many $y \in \R$}\}.
\]
\end{defn}
\begin{rem}
Definition \ref{def:ps} is slightly different to the definition of a predictive system in \citet{VovkGammermanETAL2022}, in that we do not parametrize all possible CDFs within the predictive system with one parameter $\tau \in [0,1]$, but instead allow for a free choice of any CDF within the bounds $\Pi_\ell$, $\Pi_u$. This relates to Remark \ref{rem:probcal} regarding different randomizations at the CDF's jump points.
\end{rem}
Figure \ref{fig:2} provides a graphical illustration of a predictive system and a predictive distribution that lies within its bands.
\subsection{In-sample calibration guarantees lead to conformal calibration guarantees}\label{sec:insample}
Let $\mathcal{M}$ ($\mathcal{M}_1$) be the set of all finite measures (probability measures) on $\mathcal{Z} = \mathcal{X}\times \mathbb{R}$ with finite support. For $\mu \in \mathcal{M}$, we denote the support of $\mu$ by $\supp(\mu)$. Finite measures can always be normalized to probability measures, and for a given $\mu \in \mathcal{M}$, we denote the associated probability measure by $P\mu$. For any $z \in \supp(\mu)$, we write $\mu(\{z\}) = \mu(z)$ and $P\mu(\{z\}) = P\mu(z)$ for the weight and normalized weight that is assigned to $z$, respectively.
Let $G$ be a procedure that assigns a CDF to any $\mu \in \mathcal{M}_1$ and $x \in \mathcal{X}$, that is,
\[
G:\mathcal{M}_1 \times \mathcal{X} \times \mathbb{R} \to [0,1], \quad (\mu,x,y) \mapsto G[\mu,x](y)
\]
such that $G[\mu,x](\cdot)$ is a CDF for any $\mu \in \mathcal{M}_1$, $x \in \mathcal{X}$. For $\mu \in \mathcal{M}$, we define $G[\mu,x] = G[P\mu,x]$. We will only make use of any procedure $G[\mu,\cdot]$ evaluated at points $x \in \mathcal{X}$ such that there exists a $y \in \R$ with $(x,y) \in \supp(\mu)$. Therefore, we will usually only define procedures for these values. The procedure $G$ can be interpreted as a distributional regression procedure, where $x \in \mathcal{X}$ represents the covariates, and $\mu$ is a weight function over the data used to train $G$; in most cases, $\mu$ will be a sum of Dirac measures at elements in $\mathcal{Z}$, that is, we have equal weights. The procedure may depend on further (possibly random) parameters that we suppress here in the notation.
\begin{exmp}\label{ex:procedure1}
Suppose that $\mathcal{X} = \R^p$ and let $\mu \in \mathcal{M}_1$ have support $z_1=(x_1,y_1),\dots,z_m=(x_m,y_m)$ and weights $w_i=\mu(z_i)$, $i=1,\dots,m$, that is, $\mu = \sum_{i=1}^m w_i \delta_{z_i}$. Let \(\hat{y}_1,\ldots,\hat{y}_m\) be any regression fit of \((y_1,\ldots,y_m)\) on \((x_1,\dots,x_m)\) (for example, weighted least squares), and let \(\epsilon_i=y_i-\hat{y}_i\) be the residuals. Consider a distributional regression procedure based on the weighted empirical distribution of the residuals centered at the regression fit, that is, for $k=1,\dots,m$,
\[
G[\mu,x_k](y) = \sum_{j=1}^m w_j\one\{\hat{y}_k + \hat{\epsilon}_j \le y\}, \quad y \in \R.
\]
\end{exmp}
\begin{exmp}\label{ex:procedure2}
Let $z_1=(x_1,y_1),\dots,z_m=(x_m,y_m) \in \mathcal{X}\times \R$ be the atoms of $\mu \in \mathcal{M}_1$ and $w_1=\mu(z_1),\dots,w_m=\mu(z_m)$ the weights. Suppose that for given values $x_1,\dots,x_m$ (and weights $w_1,\dots,w_m$), we have a clustering algorithm that gives us a partition $B_1,\dots,B_\ell$ of $\{1,\dots,m\}$ grouping similar covariate values together. Then, we can define a binning procedure as
\[
G[\mu,x_k](y) = \frac{1}{\sum_{j \in B_i}w_j}\sum_{j \in B_i} w_j \one\{y_j \le y\}, \quad \text{for $k \in B_i$}.
\]
\end{exmp}
Further examples of procedures are given at \eqref{eq:G0}, in Proposition \ref{prop:bin_ac}, and at \eqref{eq:G_IDR}.
In the following, let $H[\mu,x]$ be a function that summarizes the information in $\mu$ and $x$. For example, in Example \ref{ex:procedure1}, the summary function could be $H[\mu,x_k] = \hat{y}_k$, or simply $H[\mu,x_k] = 1$, while in Example \ref{ex:procedure2}, we could take $H[\mu,x_k] = B_j$ if $k \in B_j$. We can define forecast calibration with respect to the summary function $H$. In principle, the summary function should be as informative as possible, since this leads to a stronger notion of calibration. However, we will see that the more informative $H$ is, the harder it is to obtain calibration guarantees.
We assume that $H[\mu,x]$ takes values in a space $\mathcal{X}'$ with a partial order $\le_\mu$ that can depend on $\mu$. An important example is $H=G$, where $\mathcal{X}'$ is the space of all distributions on $\R$ with the usual stochastic order. Generally, $\mathcal{X}'$ needs to be an ordered metric space, compare \citet[Definition 3.1]{ArnoldZiegel2023}. The assumption of existence of a partial order on $\mathcal{X}'$ is only relevant for isotonic $H$-calibration in the following definition; probabilistic calibration and $H$-calibration could equivalently be defined without this requirement.
\begin{defn}\label{def:Gcal}
Let $H$ be some summary function, and let $(X,Y)$ be the canonical random variable on the probability space $(\supp(\mu),2^{\supp(\mu)},\mu)$ for $\mu \in \mathcal{M}_1$.
\begin{enumerate}
\item[a)] The procedure $G$ is \emph{probabilistically calibrated} if for any $\mu \in \mathcal{M}_1$, $G[\mu,X]$ is probabilistically calibrated for $Y$, that is,
\[
\mu(G[\mu,X](Y) < \alpha) \le \alpha \le \mu(G[\mu,X](Y-)\le \alpha) \quad \text{for all $\alpha \in (0,1)$.}
\]
\item[b)] The procedure $G$ is \emph{isotonically $H$-calibrated} if for any $\mu \in \mathcal{M}_1$, $G[\mu,X]$ is isotonically $\mathcal{A}(H[\mu,X])$-calibrated for $Y$, that is,
\[
\mu(Y > y \mid \mathcal{A}(H[\mu,X])) = 1- G[\mu,X](y) \quad \text{for all $y \in \mathbb{R}$}.
\]
We speak of \emph{isotonic calibration} of $G$ when $H=G$.
\item[c)] The procedure $G$ is \emph{$H$-calibrated} if for any $\mu \in \mathcal{M}_1$, $G[\mu,X]$ is $\sigma(H[\mu,X])$-calibrated for $Y$, that is,
\[
\mu(Y > y \mid H[\mu,X]) = 1 - G[\mu,X](y) \quad \text{for all $y \in \mathbb{R}$}.
\]
We speak of \emph{auto-calibration} of $G$ when $H=G$.
\end{enumerate}
\end{defn}
\begin{rem}
The notions of calibration in Definition \ref{def:Gcal} correspond to \emph{in-sample} calibration, in the following sense: If $\mu = (1/n) \sum_{j=1}^{n} \delta_{(x_{j}, y_{j})}$, where $(x_{1}, y_{1}), \dots, (x_{n}, y_{n}) \in \mathcal{Z}$ are covariate-observation pairs, and if $(X, Y) \sim \mu$ is a random draw from this empirical distribution, then plugging the covariate $X$ into the distributional regression procedure $G$ yields a calibrated forecast for $Y$.
Consequently, the implications between notions of calibration explained in Section \ref{sec:calibration} and summarized in Figure \ref{fig:implications} carry over to the calibration of procedures $G$.
\end{rem}
\begin{exmp}[Example \ref{ex:procedure1} continued]\label{ex:procedure1_contd}
The procedure in Example \ref{ex:procedure1} is probabilistically calibrated, see Proposition \ref{prop:proof_example_2.1}.
\end{exmp}
\begin{exmp}[Example \ref{ex:procedure2} continued]
The procedure in Example \ref{ex:procedure2} is $H$-calibrated with $H[\mu,x_k] = B_j$ if $k \in B_j$. Here, $H$-calibration coincides with auto-calibration since knowing $H[\mu,x_k]$ allows $B_j$ to be identified, which characterizes the forecast. Further procedures of this type are studied in Section \ref{sec:conf_bin}.
\end{exmp}
The following theorem is central to our paper. It shows that predictive bands with calibration guarantees can be obtained from procedures with in-sample calibration guarantees. We prove a slightly more general version of the theorem in Appendix \ref{app:proofs}.
For a given procedure $G$, $\mu \in \mathcal{M}$, and $x \in \mathcal{X}$, define a predictive system $\Pi$ by the bounds
\begin{align}
\Pi_\ell[\mu,x](y) &= \inf\{G[\mu + \delta_{(x,y')},x](y) \mid y' \in \mathbb{R}\},\label{eq:PB1}\\
\Pi_u[\mu,x](y) &= \sup\{G[\mu + \delta_{(x,y')},x](y) \mid y' \in \mathbb{R}\}.\label{eq:PB2}
\end{align}
\begin{thm}\label{thm:master}
Let $(X_1,Y_1),\dots,(X_n,Y_n),(X_{n+1},Y_{n+1})$ be an exchangeable sequence, and let $\Pi$ be the predictive system defined by the bounds \eqref{eq:PB1} and \eqref{eq:PB2}, for some procedure $G$, $\mu = \sum_{j=1}^n \delta_{(X_j,Y_j)}$, and $x = X_{n+1}$. Let $H$ be a summary function and define $\widetilde\mu=\mu + \delta_{(X_{n+1},Y_{n+1})}$.
\begin{enumerate}
\item[(i)] If $G$ is probabilistically calibrated, then $\Pi$ contains a probabilistically calibrated predictive CDF for $Y_{n+1}$. More precisely, for all $u \in (0,1)$,
\begin{equation*}
\prob\Big(G\big[\widetilde{\mu},X_{n+1}\big](Y_{n+1}) < u\Big) \le u \le \prob\Big(G\big[\widetilde{\mu},X_{n+1}\big](Y_{n+1}-) \le u\Big).
\end{equation*}
\item[(ii)] If $G$ is isotonically $H$-calibrated, then $\Pi$ contains an isotonically $\mathcal{A}(H[\widetilde{\mu},X_{n+1}])$-calibrated predictive CDF for $Y_{n+1}$. More precisely, for all $y \in \mathbb{R}$,
\[
1 - G\big[\widetilde{\mu},X_{n+1}\big](y) = \mathbb{P}\Big(Y_{n+1} > y \Big| \mathcal{A}\Big(H\big[\widetilde{\mu},X_{n+1}\big]\Big)\Big).
\]
In particular, the predictive CDF $G\big[\widetilde{\mu},X_{n+1}\big]$ is isotonically calibrated for $Y_{n+1}$.
\item[(iii)] If $G$ is $H$-calibrated, then $\Pi$ contains a $\sigma(H[\widetilde{\mu},X_{n+1}])$-calibrated predictive CDF for $Y_{n+1}$. More precisely, for all $y \in \mathbb{R}$,
\[
1 - G\big[\widetilde{\mu},X_{n+1}\big](y) = \mathbb{P}\Big(Y_{n+1} > y \Big| H\big[\widetilde{\mu},X_{n+1}\big]\Big).
\]
In particular, the predictive CDF $G\big[\widetilde{\mu},X_{n+1}\big]$ is auto-calibrated for $Y_{n+1}$.
\end{enumerate}
\end{thm}
\begin{rem}
We say that a predictive system $\Pi$ \emph{contains} a probabilistically calibrated predictive CDF for $Y_{n+1}$ if, for all $u \in (0,1)$,
\[
\prob \left( \Pi_{u}(Y_{n+1}) < u \right) \leq u \leq \prob \left( \Pi_\ell(Y_{n+1}-) \leq u \right).
\]
That is, between the upper and lower bounds of $\Pi$ there is a CDF that is probabilistically calibrated.
This is equivalent to the standard definition of validity of a conformal predictive system, as given in \cite{VovkGammermanETAL2022}, updated to use the new definition of probabilistic calibration at \eqref{eq:probcal}. For some $\sigma$-algebra $\G \subseteq \F$, $\Pi$ contains a $\G$-calibrated predictive CDF for $Y_{n+1}$ if
\[
\Pi_\ell(y) \leq 1 - \prob \left( Y_{n+1} > y \mid \G \right) \leq \Pi_{u}(y) \quad \text{for all $y \in \R$,}
\]
and similarly for isotonic $\C$-calibration for some $\sigma$-lattice $\C \subseteq \F$. A predictive system is said to have \emph{conformal calibration guarantees} if it is guaranteed to contain a calibrated predictive CDF for $Y_{n+1}$, for any specified notion of calibration. We call such systems \emph{conformal predictive systems}.
\end{rem}
Theorem 2.1 demonstrates that if the procedure $G$ is in-sample calibrated, then the predictive CDF $G[\tilde{\mu}, X_{n+1}]$ provides a calibrated probabilistic forecast for $Y_{n+1}$ that falls within the bounds defining the predictive system $\Pi$. While $G[\tilde{\mu}, X_{n+1}]$ is not available at the time of forecasting, since $\tilde{\mu}$ depends on $Y_{n+1}$, the predictive system $\Pi$ is. If the thickness of the predictive system is close to zero, the conformal calibration guarantees allow us to issue a predictive distribution that is `close' to the calibrated predictive CDF $G[\tilde{\mu}, X_{n+1}]$. In the following sections, we consider concrete procedures that satisfy different in-sample calibration guarantees, leading to predictive systems with different conformal calibration guarantees.
No matter how we summarize the covariate information using $H$, we obtain a predictive system with corresponding calibration guarantees. If $H$ is not informative, then the prediction may not be useful, even if it is calibrated. On the other hand, if $H$ is too granular in relation to the amount of available data, then the thickness of the resulting predictive system could be large. We discuss these effects in more detail in Section \ref{sec:epistemic}, and interpret them with regard to the epistemic uncertainty of the forecast.
\begin{rem}[Splitting approach]
The guarantees of Theorem \ref{thm:master} for the bounds $\Pi_\ell$, $\Pi_u$ defined at \eqref{eq:PB1}, \eqref{eq:PB2} remain valid if the procedure $G$ depends on parameters that are estimated using an independent sample of data. More precisely, suppose that the training data $(X_1,Y_1),\dots,(X_n,Y_n)$ is split into two sets, an \emph{estimation set} $\mathcal{D}_0$ containing the data points with indices $i \le n_0$, and a \emph{calibration set} $\mathcal{D}_1$ containing the data points with indices $n_0 < i \le n$. Let $n_1 = n - n_0$ denote the size of the calibration set. The parameters of the procedure $G$ (and the summary $H$) can be estimated using the data in $\mathcal{D}_0$. Assuming that the data $(X_{n_0+1},Y_{n_0+1}),\dots$, $(X_n,Y_n)$, $(X_{n+1},Y_{n+1})$ is exchangeable given $\mathcal{D}_0$, the bounds in \eqref{eq:PB1}, \eqref{eq:PB2} can then be computed using the data in the calibration set $\mathcal{D}_1$. We call this a splitting approach. The guarantees of Theorem \ref{thm:master} continue to hold: \citet[Section 3.4.1]{AngelopoulosBarberETAL2024} provide the same arguments for classical conformal prediction. A splitting approach is useful to reduce computational costs, and is typically also applied in existing conformal predictive systems \citep{VovkEtAl2018}, see Remark \ref{rem:splitCM}. In particular, it is beneficial to estimate a procedure $G$ on $\mathcal{D}_0$ such that $G[\mu + \delta_{(x,y')},x](y)$ is increasing in $y'$ for each $y$, because then the bounds in \eqref{eq:PB1} and \eqref{eq:PB2} can typically be computed using only two evaluations of the procedure, see Remark \ref{rem:splitIDR}.
\end{rem}
\subsection{Probabilistic calibration: CM conformal predictive systems}\label{sec:CPS}
The results in this section are not new and can be found with somewhat different notation and arguments in the textbook \citet{VovkGammermanETAL2022}. We include them here for completeness and in order to facilitate understanding of our new results in the subsequent sections.
Suppose that $\mu$ is a finite measure with finite support in $\mathbb{R}$, that is, $\supp\mu = \{v_1,\dots,v_m\}$ for pairwise different $v_i$. Then, consider the following procedure (without covariates):
\begin{equation}\label{eq:G0}
G_0[\mu](y) = \frac{1}{\mu(\R)}\sum_{v \in \supp\mu} \mu(v)\one\{v \le y\}.
\end{equation}
It is a standard exercise in probability to show that $G_0$ is probabilistically calibrated. In fact, Proposition \ref{prop:PIT2} in Appendix \ref{app:PIT} shows that this procedure is the only possible probabilistically calibrated procedure when there is no covariate information.
For $v' \in \R$, we have
\[
G_0[\mu + \delta_{v'}](y) = \frac{1}{\mu(\R) + 1}\left(\sum_{v \in \supp \mu}\mu(v)\one\{v \le y\} + \one\{v' \le y\}\right),
\]
and hence
\begin{align*}
\Pi_\ell[\mu](y) &= \frac{1}{\mu(\R) + 1}\sum_{v \in \supp \mu}\mu(v)\one\{v \le y\} =\frac{1}{m + 1}\sum_{i=0}^m\one\{v_i < y\}, \\
\Pi_u[\mu](y) &= \frac{1}{\mu(\R) + 1}\left(\sum_{v \in \supp \mu}\mu(v)\one\{v \le y\} + 1\right)= \frac{1}{m + 1}\sum_{i=0}^m\one\{v_i \le y\},
\end{align*}
where the second equality in both previous lines holds if $\mu$ is the empirical distribution of pairwise different $v_1,\dots,v_m$ and $y = v_0$.
The classical conformal predictive systems introduced by \cite{VovkEtAl2017} use conformity measures that elegantly exploit this one-dimensional probabilistically calibrated procedure $G_0$ to obtain probabilistically calibrated predictive distributions using covariate information. Since we present several possibilities to construct predictive systems, we call predictive systems that are constructed using conformity measures, as in \eqref{eq:classical_cps} below, \emph{conformity measure based (CM) conformal predictive systems}.
Prediction sets with marginal coverage guarantees can be obtained in very general circumstances. Suppose for the moment that $\mathcal{Z} = \mathcal{X}\times \mathcal{Y}$ for a general outcome space $\mathcal{Y}$. A function $A:\mathcal{M}\times \mathcal{Z} \to \mathbb{R}$ is called a \emph{conformity measure} if $A(\mu,z) =0$ for $z\not\in\supp\mu$, and $A(\mu,z) = A(P\mu,z)$ for all $\mu \in \mathcal{M}$, $z \in \supp\mu$. This means that it is sufficient to specify $A(\mu,z)$ for $z \in \supp\mu$ in order to define conformity measures. For $\mu \in \mathcal{M}$, $(x,y)\in \mathcal{Z}$, we define
\begin{align}
G[\mu,x](y) &= G_0\left[\sum_{z\in\supp\mu}\mu(z)\delta_{A(\mu,z)}\right](A(\mu,(x,y))),\nonumber\\
G^-[\mu,x](y) &= G_0\left[\sum_{z\in\supp\mu}\mu(z)\delta_{A(\mu,z)}\right](A(\mu,(x,y))-).\label{eq:classical_cps}
\end{align}
This resembles a distributional regression procedure that quantifies how well each point in the training data conforms with $(x, y)$, as quantified using $A$, and then assigns higher probability to training points with higher conformity scores. However, even if $\mathcal{Y}=\mathbb{R}$, the function $G$ defined at \eqref{eq:classical_cps} is not necessarily increasing in $y$ for any $\mu \in \mathcal{M}$, $x \in \mathcal{X}$, that is, $G$ may not output valid CDFs and is thus not a distributional regression procedure. Nonetheless, it is always possible to use $G$ to obtain prediction sets with online coverage guarantees due to the following corollary to Theorem \ref{thm:master}.
\begin{cor}
Let $(X_1,Y_1),\dots,(X_n,Y_n),(X_{n+1},Y_{n+1})$ be an exchangeable sequence. Define $\mu = \sum_{j=1}^n \delta_{(X_j,Y_j)}$, and $\widetilde\mu=\mu + \delta_{(X_{n+1},Y_{n+1})}$.
Then, $G$, $G^-$ defined at \eqref{eq:classical_cps} satisfy
\begin{equation*}
\prob\Big(G\big[\widetilde{\mu},X_{n+1}\big](Y_{n+1}) < u\Big) \le u \le \prob\Big(G^-\big[\widetilde{\mu},X_{n+1}\big](Y_{n+1}) \le u\Big) \quad \text{for all $u \in (0,1)$}.
\end{equation*}
Therefore, for any $\alpha \in (0,1)$, $\prob(Y_{n+1} \in C_{n+1}) \ge 1 - \alpha \ge \prob(Y_{n+1} \in C_{n+1}^-)$, where
\begin{align*}
C_{n+1} &= \{y \in \mathcal{Y} \mid G[\mu + \delta_{(X_{n+1},y)}, X_{n+1}](y) \ge \alpha\}\\
C_{n+1}^- &= \{y \in \mathcal{Y} \mid G^-[\mu + \delta_{(X_{n+1},y)}, X_{n+1}](y) > \alpha\}.
\end{align*}
\end{cor}
\begin{proof}
We apply part 1 of Theorem \ref{thm:master} with $G_0$ in place of $G$, a constant instead of the $X_i$, and $A(\widetilde{\mu},(X_i,Y_i))$ instead of the $Y_i$.
\end{proof}
Let us now come back to the specific case where $\mathcal{Y}=\R$. The following lemma gives a sufficient condition on the conformity measure $A$ such that $G$ at \eqref{eq:classical_cps} is increasing in $y$ \citep[Proposition 7.2]{VovkGammermanETAL2022}.
\begin{lemma}\label{lem:monoPS}
Let $\mu \in \mathcal{M}$ and $x_0 \in \mathcal{X}$. Suppose that, for any $z \in \supp\mu$,
\begin{equation}\label{eq:incr_cond}
y \mapsto A(\mu+\delta_{(x_0,y)},(x_0,y)) - A(\mu+\delta_{(x_0,y)},z)
\end{equation}
is increasing. Then, $y \mapsto G[\mu+\delta_{(x_0,y)},x_0](y)$, $y \mapsto G^-[\mu+\delta_{(x_0,y)},x_0](y)$ are increasing functions.
\end{lemma}
A conformity measure $A$ is said to satisfy the \emph{monotonicity condition} if the function at \eqref{eq:incr_cond} is increasing for any $\mu \in \mathcal{M}$, $z \in \supp \mu$, and $x_0 \in \mathcal{X}$. If a conformal predictive system is defined in terms of a conformity measure that satisfies the monotonicity condition, then its thickness is at most $1/(n+1)$.
\begin{exmp}[Least Squares Prediction Machine]\label{ex:lspm}
Let $\mu \in \mathcal{M}_1$ with support points $z_1=(x_{1}, y_{1}), \dots, z_n=(x_{n}, y_{n}) \in \mathcal{X} \times \R$ and weights $w_i=\mu(z_i)$, $i=1,\dots,n$. Consider the conformity measure
\[
A(\mu, (x_k, y_k)) = \frac{y_{k} - \hat{y}_{k}}{\sqrt{1 - \bar{h}_{k}}},
\]
where $\hat{y}_{k}$ is the weighted least squares prediction for $y_{k}$ constructed using $(x_{1}, y_{1}), \dots, (x_{n}, y_{n})$ as training data, and $\bar{h}_{k}$ is the leverage of $(x_{k}, y_{k})$ in the regression fit. Using this conformity measure within \eqref{eq:classical_cps} for empirical distributions $\mu$ recovers the (studentized) Least Squares Prediction Machine (LSPM), see \citet{VovkEtAl2017}, \citet[Section 7.3]{VovkGammermanETAL2022}.
\end{exmp}
\begin{rem}[Split conformal prediction]\label{rem:splitCM}
For computational reasons, conformal predictive systems are typically calculated using a splitting approach \citep{VovkEtAl2018}. The computationally expensive part arises since the conformity measure $A$ depends on all of $\mu$, so it could involve retraining of a complicated model for all possible values of $y$ for $Y_{n+1}$. \emph{Split} CM conformal predictive systems estimate a conformity measure $A$ using the data in $\mathcal{D}_0$ that does not depend on $\mu$, that is, $A[\mu,x] = A[x]$ is constant in the first argument; in the splitting approach, $\mu$ can be thought of as the empirical distribution of the calibration data $\mathcal{D}_1$. The data in $\mathcal{D}_1$ is then used to produce a CM conformal predictive system using $A[x]$, which is cheap to evaluate.
\emph{Full} CM conformal predictive systems, on the other hand, use the full data to construct the CM conformal predictive system with a conformity measure $A[\mu,x]$ that non-trivially depends on $\mu$, which means that many potentially costly evaluations of $A[\mu,x]$ are necessary.
\end{rem}
\begin{rem}\label{rem:conf_order}
Instead of a conformity measure $A$ on $\mathcal{M}\times \mathcal{Z}$, one can instead specify a \emph{conformity order}, that is, a total order $\le_\mu$ on $\mathcal{Z}$ that depends on $\mu\in\mathcal{M}$ and satisfies $\le_\mu = \le_{P\mu}$. In fact, only elements of $\supp\mu$ are compared with respect to $\le_\mu$, so it suffices to specify $\le_\mu$ for these elements. A conformity measure $A$ induces a conformity order by setting $z \le_\mu z'$ if $A(\mu,z) \le A(\mu,z')$. Conversely, for each conformity order, there are often many conformity measures that lead to the same predictive system.
\end{rem}
Using the probabilistically calibrated procedure in Examples \ref{ex:procedure1} and \ref{ex:procedure1_contd} generally leads to a predictive system that is not a CM conformal predictive system. However, using a splitting approach the resulting predictive systems may coincide.
\subsection{Auto-calibration: Conformal binning}\label{sec:conf_bin}
While CM conformal predictive systems satisfy probabilistic calibration guarantees, Theorem \ref{thm:master} demonstrates that predictive systems with stronger calibration guarantees could be obtained from more strongly calibrated distributional regression procedures. The following proposition characterizes the structure of auto-calibrated distributional regression procedures; they all rely on some form of binning of the data.
\begin{prop}\label{prop:bin_ac}
Suppose that $G$ is an auto-calibrated procedure, and let $\mu \in \mathcal{M}_1$ with support points $z_1=(x_1,y_1),\dots,z_m=(x_m,y_m)$. Then there exists a partition $B_1,\dots,B_{m'}$ of $\{1,\dots,m\}$ (that may depend on $\mu$) such that, for all $y \in \R$,
\begin{equation}\label{eq:bin_ac}
G[\mu,x_k](y) = \frac{1}{\sum_{j \in B_i} \mu(z_j)} \sum_{j \in B_i} \mu(z_j) \one\{y_j \le y\}, \quad k \in B_i.
\end{equation}
\end{prop}
\begin{proof}
Let $(X,Y) \sim \mu$. Since the support of $\mu$, $\supp(\mu) = \{z_1,\dots,z_m\}$ is finite, there are only $m' \le m$ different CDFs $G[\mu,x_i]$, $i=1,\dots,m$, that $G[\mu,X]$ can take as values. Denote these by $G_1,\dots,G_{m'}$. Define $B_i = \{j \in 1,\dots,m : G[\mu,x_j] = G_i\}$, $i = 1,\dots,m'$. Then,
\[
\mu(Y > y \mid G[\mu,X]=G_i) = \frac{1}{\sum_{j \in B_i} \mu(z_j)}\sum_{j\in B_i}\mu(z_j) \one\{y_j > y\}, \quad y \in \mathbb{R}.
\]
Auto-calibration of $G$ yields the claim.
\end{proof}
\begin{rem}
Proposition 2.4 shows that every auto-calibrated distributional regression procedure is a binning procedure. Using the same arguments, it is straightforward to prove the converse, that every binning procedure is auto-calibrated (in-sample). Hence, from Theorem \ref{thm:master}, by choosing any binning of the covariate-observation pairs, we can construct a predictive system that is guaranteed to contain an auto-calibrated predictive distribution.
\end{rem}
While auto-calibration is a strong notion of calibration, a distributional regression procedure can be auto-calibrated without being informative. For example, the procedure $G_{0}$ at \eqref{eq:G0} is auto-calibrated, despite not containing any covariate information; the resulting distributional regression prediction is simply the (weighted) empirical distribution of $v_1,\dots,v_m$. To exploit the information contained in the covariates, the binning should be such that pairs $(x_{i}, y_{i})$ in the same bin correspond to pairs with similar covariate values.
\begin{exmp}\label{ex:kmeans}
If it is possible to calculate the distance between elements in $\X$, then the covariates can be binned using clustering methods. In Sections \ref{sec:sims} and \ref{sec:app}, $\X \subseteq \R$, and bins are constructed using $k$-means clustering applied to the covariates, using the squared Euclidean distance as metric. A split conformal framework is adopted in which the clusters are determined from the estimation set $\mathcal{D}_{0}$. That is, let $k \in \N$ such that $k \leq n_0$. Then, given the covariate values $X_{1}, \dots, X_{n_0}$ from the covariate-observation pairs in $\mathcal{D}_{0}$, the partition $B_{1}, \dots, B_{k}$ of $\{1, \dots, n_{0}\}$ is found that satisfies
\[
\argmin_{\{B_{1}, \dots, B_{k}\}} \sum_{i=1}^{k} \sum_{j \in B_{i}} | X_{j} - \mu_{i} |^{2},
\]
where $\mu_{i}$ is the mean of the values $X_{j}$ for $j \in B_{j}$, $j = 1, \dots, k$. This results in mutually exclusive bins for which the squared distance between covariate values in different bins is maximised. New covariates, including those in $\mathcal{D}_{1}$, can then be assigned to the bin whose mean $\mu_{j}$ is closest, and prediction can then based on the procedure described in \eqref{eq:bin_ac} (Proposition \ref{prop:bin_ac}).
\end{exmp}
\begin{exmp}\label{ex:IVAPD}
Alternatively, \citet{NouretdinovVolkhonskiyETAL2018} propose an extension of Venn-Abers prediction to regression problems. They convert the covariates to some univariate \emph{score} or \emph{index}, and then perform isotonic mean regression for $Y_{1}, \dots, Y_{n_{0}}$ using the scores as covariates (in the estimation sample $\mathcal{D}_{0}$). The isotonic regression fit yields bins of the covariate space corresponding to where the regression line is flat. As above, these bins can be used within Proposition \ref{prop:bin_ac} to generate an auto-calibrated conformal predictive system.
\end{exmp}
\cite{BostromEtAl2021} introduce Mondrian conformal predictive systems, which are similarly based on a form of binning of the data. However, Mondrian conformal predictive systems are not auto-calibrated. Instead, they are probabilistically calibrated conditional on the bins, which is weaker than auto-calibration. We therefore omit these predictive systems from the rest of our analysis.
\subsection{Isotonic calibration: Conformal isotonic distributional regression}
Isotonic distributional regression (IDR) is a non-parametric distributional regression approach that is isotonically calibrated in-sample. Hence, using results from Section \ref{sec:insample}, we can obtain a ``conformalized'' version of IDR that yields a predictive system with isotonic calibration guarantees. While the construction of IDR is motivated by an assumption of isotonicity between the covariates and the outcome, its in-sample calibration guarantees do not depend on any assumptions on the data generating process, since they hold conditionally on the (weighted) training sample. Furthermore, the calibration properties also remain valid if the order on the covariate space $\mathcal{X}$ is estimated either on the training sample or from different data, making it applicable within a splitting approach \citep[Section 4]{HenziKlegerETAL2023}.
For any $\mu \in \mathcal{M}_1$, suppose that $\supp\mu = \{(x_1,y_1),\dots,(x_m,y_m)\}$, let $H[\mu,\cdot]:\mathcal{X}\to\mathcal{X}'$, and assume that $\le_\mu$ is a partial order on $\mathcal{X}'$. Let $G[\mu,x]$ be the IDR CDF at $H[\mu,x] \in \mathcal{X}'$, that is,
\begin{equation}\label{eq:G_IDR}
(G[\mu,x_i](y))_{i=1}^m = \argmin_{(\theta_1,\dots,\theta_m)} \sum_{i=1}^m \mu((x_i,y_i))(\theta_i - \one\{y_i \le y\})^2, \quad y \in \mathbb{R},
\end{equation}
where the argmin is taken over all m-tuples $(\theta_1,\dots,\theta_m) \in [0,1]^m$ such that $H[\mu,x_i] \le_\mu H[\mu,x_j]$ implies $\theta_j \le \theta_i$, and $H[\mu,x_i] = H[\mu,x_j]$ implies $\theta_j = \theta_i$. Typically, if $\mathcal{X}$ is (partially) ordered, then IDR is applied with $H$ the identification function. However, for any choice of the summary function $H$, the procedure $G$ is isotonically $H$-calibrated \citep[see][Section 4.2]{ArnoldZiegel2023}, and also isotonically calibrated, threshold calibrated, quantile calibrated, and probabilistically calibrated; see \citet[Theorem 2]{HenziZiegelETAL2021}, \citet[Proposition 5.2]{ArnoldZiegel2023}.
We define \emph{conformal IDR} as the predictive band $\Pi$ with bounds as at \eqref{eq:PB1}, \eqref{eq:PB2}, where $G$ is the IDR procedure described above. The following corollary is immediate from Theorem \ref{thm:master}.
\begin{cor}
Let $(X_1,Y_1),\dots,(X_n,Y_n),(X_{n+1},Y_{n+1})$ be an exchangeable sequence. Then, the conformal IDR $\Pi$ contains an isotonically $\mathcal{A}(H[\tilde{\mu},X_{n+1}])$-calibrated predictive CDF for $Y_{n+1}$. More precisely, define $\mu = \sum_{j=1}^n \delta_{(X_j,Y_j)}$, and $\widetilde\mu=\mu + \delta_{(X_{n+1},Y_{n+1})}$. Then,
\[
\Pi_{\ell}[\mu,X_{n+1}](y) \le 1-\mathbb{P}\Big(Y_{n+1} > y \Big| \mathcal{A}\Big(H\big[\widetilde{\mu},X_{n+1}\big]\Big)\Big) \le \Pi_{u}[\mu,X_{n+1}](y), \quad y \in \R.
\]
\end{cor}
\citet{HenziKlegerETAL2023} introduce \emph{distributional single index models}, which fit IDR to suitable real-valued summary functions $H$ with the usual order on $\R$. In other words, and related to Remark \ref{rem:conf_order}, they suggest to estimate a data driven partial or total order on the covariate space. This is achieved by estimating a regression model $\hat{r}(\cdot)$ for the conditional mean (or median, or quantile, for example) of $Y$ given $X$, and using the order on $\mathcal{X}$ such that $x \preceq x'$ if and only $\hat{r}(x) \le \hat{r}(x')$. With the notation above, the regression model is our summary function, $H = \hat{r}$.
\begin{rem}[Splitting approach for IDR]\label{rem:splitIDR}
In general, the computation of conformal IDR can be costly, and it is therefore recommended to implement it with the splitting approach. We denote the estimation set again by $\mathcal{D}_0$ and the calibration set by $\mathcal{D}_1$. Suppose that we estimate the summary function $H$ using the estimation set $\mathcal{D}_0$ in such a way that $H[\mu,\cdot] = H[\cdot]$ does not depend on $\mu$. Following \cite{HenziKlegerETAL2023}, a natural approach is then to estimate a real-valued regression model $\hat{r}$ on $\mathcal{D}_0$, set $H = \hat{r}$, and then implement conformal IDR with the usual total order on $\R=\mathcal{X}'$.
IDR is monotone in the sample values $y_i$: with $G$ defined at \eqref{eq:G_IDR}, if $y_i \le y_i'$ for all $i=1,\dots,n$, $\mu = \sum_{i=1}^n \delta_{(x_i,y_i)}$, $\mu' = \sum_{i=1}^n \delta_{(x_i,y_i')}$, and $\le_\mu = \le_{\mu'}$, then $G[\mu,x_i](y) \le G[\mu',x_i](y)$ for all $y \in \R$ and $i=1,\dots,n$. Hence, for computing conformal IDR with a splitting approach, it is sufficient to compute two runs of IDR based on
\[
(x_1,y_1),\dots,(x_n,y_n),(x_{n+1},\min_{i=1,\dots,n} y_i - C)\; \text{and}\; (x_1,y_1),\dots,(x_n,y_n),(x_{n+1},\max_{i=1,\dots,n} y_i + C),
\]
for some $C> 0$, to obtain $\Pi_{\ell}[\mu,X_{n+1}](y)$ and $\Pi_{u}[\mu,X_{n+1}](y)$, respectively. The constant $C$ allows for the possibility that we do not observe the full support of $Y_{n+1}$ in the training data. The IDR fit does not depend on $C$, so it is not necessary to choose $C$ before the computation. The values $\min_{i=1,\dots,n} y_i - C$ and $\max_{i=1,\dots,n} y_i + C$ are the smallest and largest point of the support of the IDR CDFs, respectively. IDR is unchanged if one first transforms the $y$-values with a strictly increasing function, then computes IDR, and then transforms back. Therefore, the conformal IDR can be computed with $C=1$, say, and then whenever the points $\min_{i=1,\dots,n} y_i - 1$ and $\max_{i=1,\dots,n} y_i + 1$ have positive mass, the value $C=1$ can be replaced by any $C > 0$.
\end{rem}
\section{Properties of the predictive systems}\label{sec:properties}
\subsection{Thickness}\label{sec:thickness}
Conformal calibration guarantees are only useful if the thickness of the predictive system is sufficiently small. For a calibration set $\mathcal{D}_1$ of size $n$, or a full conformal approach (without splitting), the thickness of a CM conformal predictive system is $1/(n+1)$. Similarly, the thickness of a conformal binning predictive system is usually equal to $1/(|B_{k}|+1)$, where $B_{k}$ is the bin in which the new covariate falls. This is true whenever the bins are determined based on the estimation set $\mathcal{D}_0$, or the bins are determined using only the covariate information $X_1,\dots,X_{n+1}$ (without splitting). If the bins correspond to groupings of similar covariate values, then the thickness will be larger when there are fewer previous covariate values that are similar to the new covariate.
In contrast, there is no simple bound on the thickness of conformal IDR. A first intuition is given by the following simple simulation example with iid observations $X_i \sim \mathcal{N}(0,1)$, $Y_i \sim \mathcal{N}(X_i,1)$ and sample size $n=512$. In Figure \ref{fig:2}, the conformal IDR bands are plotted in red for different possible values of $X_{n+1}$, while a specific choice for a crisp predictive CDF is given in blue. The reasoning for this specific choice is given in Section \ref{sec:crisp}.
The thickness is large (even one) when $X_{n+1}$ is at the boundary of the distribution of the covariates, and small when it is in the center of the distribution. So, similarly to the conformal binning approach, and in line with intuition, the thickness depends on the local abundance of training data. We therefore argue that the thickness can be related to the epistemic uncertainty of the prediction, and we discuss this interpretation in Section \ref{sec:epistemic}.
\begin{figure}[t!]
\includegraphics[width=\textwidth]{Figures/simstudy_norm.png}
\caption{Conformal IDR bands (red) and crisp predictive distribution (blue) for different $X_{n+1}$.\label{fig:2}}
\end{figure}
The following theorem demonstrates that the expected thickness of the conformal IDR predictive system is bounded above, and that this bound tends to zero as $n$ increases.
\begin{thm}\label{thm:ConfIDR_thickness}
Let $(X_1,Y_1),\dots,(X_n,Y_n),(X_{n+1},Y_{n+1})$ be an exchangeable sequence and
define $\mu = \sum_{j=1}^n \delta_{(X_j,Y_j)}$.
Conformal IDR has an expected thickness less than or equal to $14n^{-1/6}$, that is,
\[
\mathbb{E}\left(\Pi_u[\mu,X_{n+1}](y) - \Pi_\ell[\mu,X_{n+1}](y)\right) \le 14n^{-1/6}, \quad y \in \R.
\]
\end{thm}
Our proof also yields a lower bound on the expected thickness of conformal IDR of $n^{-1/3}$. The crucial ingredient for the proof of Theorem \ref{thm:ConfIDR_thickness} is a bound on the expected number of jumps of isotonic regression. The current proof uses a bound of $3n^{-2/3}$ \citep[Lemma 1]{DimitriadisDumbgenETAL2023} that holds for every realization of isotonic regression when the response is binary, and under no conditions on the data generating process. \citet[Lemma 3.1]{Groeneboom2011} shows that, under some conditions that include isotonicity assumptions, the expected number of jumps of binary isotonic regression is of the order $n^{1/3}$. If the assumptions of \citet[Lemma 3.1]{Groeneboom2011} hold, then our bound can be improved to the order $n^{-1/3}$.
\subsection{Choosing a crisp predictive CDF}\label{sec:crisp}
While predictive systems facilitate the construction of out-of-sample calibration guarantees, practitioners generally require a single predictive distribution function to report as their forecast. In this section, we discuss the choice of such a \emph{crisp} CDF. A straightforward choice is the midpoint between the upper bound $\Pi_u(y)$ and the lower bound $\Pi_\ell(y)$ within some large interval $y \in [-C,C]$ encompassing the support of the training data $y_1,\dots,y_n$. Beyond $[-C,C]$, the predictive CDF can be set to zero and one, respectively, thus constructing a valid CDF.
For conformal binning, the choice of a crisp predictive distribution is even simpler. If a splitting approach is used, so that the bins are determined from the estimation set $\mathcal{D}_{0}$, then a more efficient approach is to simply take the empirical distribution of the outcomes in the calibration set, $Y_{n_{0}+1}, \dots, Y_{n}$, whose covariates are assigned to the same bin as the new covariate $X_{n+1}$. This approach does not depend on the possible values of $Y_{n+1}$, and is therefore more efficient to implement. The approach also works in a full conformal approach if the bins are determined only based on covariate information, as, for example, in Example \ref{ex:kmeans}. Moreover, while the midpoint approach requires the choice of arbitrary end points ($\pm C$) to define a valid CDF, the latter approach immediately defines a valid forecast distribution that falls between the conformal bands. Both methods are found to give similar results in practice.
For conformal IDR, we suggest the following procedure to choose a crisp predictive CDF, inspired by the work of \citet{VovkPetejETAL2015}, who considered conformal IDR for binary outcomes under the name of Venn-Abers predictors. In this case, conformal IDR consists of two predictive probabilities $f_0(X)$ and $f_1(X)$ (for the possibility that $Y$ is either zero or one). Depending on how large $n$ is, and how central $X_{n+1}$ is within $X_1,\dots,X_n$, the two probabilities may or may not differ a lot. This is analogous to conformal IDR for real-valued outcomes; see Figure \ref{fig:2}.
If one wants to combine the two probability predictions into one, \citet{VovkPetejETAL2015} suggest the following strategy. Take a proper scoring rule $S$ \citep{GneitingRaftery2007}, and use $p$ to denote the combined probability prediction. If the future outcome is $Y=\ell\in \{0,1\}$ and we predict $p$ instead of $f_\ell(X)$, we lose
$S(p,\ell) - S(f_\ell(X),\ell)$. Therefore, let us choose $p$ to minimize the maximal possible loss
\[
\max_{\ell \in \{0,1\}}S(p,\ell) - S(f_\ell(X),\ell).
\]
If $S$ is the logarithmic score, we obtain $p = f_1(X)/(1 + f_1(X) - f_0(X))$, and $f_0(X) \le p \le f_1(X)$.
With respect to the Brier score, one obtains
\begin{equation}\label{eq:Brier}
p = f_1(X) - \frac{1}{2}f_1(X)^2 + \frac{1}{2}f_0(X)^2 ,
\end{equation}
and again, $f_0(X) \le p \le f_1(X)$.
For choosing a crisp CDF within conformal IDR, we would like to apply the same strategy using the continuous ranked probability score (CRPS) as the proper scoring rule, defined as
\begin{equation}\label{def:crps}
\operatorname{CRPS}(F,y) = \int\left(\one\{y \le z\} - F(z)\right)^2\diff z,
\end{equation}
for a CDF $F$ and $y \in \R$.
However, we cannot apply the same strategy as before with the CRPS. To see this, let $G$ be the IDR procedure and $\mu=\sum_{j=1}^n \delta_{(X_j,Y_j)}$. Then, for any possible future outcome $Y=y \in \R$, we have
\begin{align}
\operatorname{CRPS}(F,y) &- \operatorname{CRPS}(G[\mu+\delta_{(X_{n+1},y)}],y)\nonumber\\ &= \int \left[\left(\one\{y \le z\}-F(z)\right)^2 - \left(\one\{y \le z\} -G[\mu+\delta_{(X_{n+1},y)}](z)\right)^2 \right]\diff z.\label{eq:CRPSdiff}
\end{align}
We would like to minimize the supremum of this expression over any CDF $F$ with $\Pi_\ell[\mu,X_{n+1}](z) \le F(z) \le \Pi_u[\mu,X_{n+1}](z)$, for all $z \in \R$, where $\Pi$ is the conformal IDR predictive system. However, the integral at \eqref{eq:CRPSdiff} diverges to $\infty$ as $y \to \infty$, since then $G[\mu+\delta_{(X_{n+1},y)}](z) \to \Pi_\ell[\mu,X_{n+1}](z)$ for every $z \in \R$, $F(z) \geq \Pi_{\ell}\left[\mu, X_{n+1}\right](z)$, and $\lim_{z \rightarrow \infty}\Pi_{\ell}\left[\mu, X_{n+1}\right](z) < 1$.
Instead, we follow a pointwise approach and minimize the maximal possible loss of the integrand for each fixed $z$. For $y > z$ we have
\begin{align*}
\left(\one\{y \le z\} - F(z)\right)^2 - \left(\one\{y \le z\} - G[\mu+\delta_{\left(X_{n+1},y\right)}](z)\right)^2
& = F(z)^2 - G[\mu+\delta_{\left(X_{n+1},y\right)}](z)^2\\
& \leq F(z)^2-\Pi_{\ell}[\mu, X_{n+1}](z)^2,
\end{align*}
and for $y \leq z$ we get
\begin{align*}
(\one\{y \le z\} - F(z))^2 - \left(\one\{y \le z\} - G[\mu+\delta_{\left(X_{n+1},y\right)}](z)\right)^2
& = \left(1-F(z)\right)^2 - \left(1-G[\mu+\delta_{\left(X_{n+1},y\right)}](z)\right)^2 \\
& \leq \left(1-F(z)\right)^2 - \left(1-\Pi_u[\mu,X_{n+1}](z)\right)^2,
\end{align*}
so the supremum is always attained for $G[\mu+\delta_{\left(x,y\right)}]\in \left\{\Pi_{\ell}[\mu,X_{n+1}],\Pi_u[\mu,X_{n+1}]\right\}$.
In order to minimize the worst-case loss, we need the loss in these two cases to be equal, that is,
\[
F(z)^2 - \left(1-F(z)\right)^2 = \Pi_{\ell}[\mu, X_{n+1}](z)^2 - \left(1-\Pi_u[\mu, X_{n+1}](z)\right)^2,
\]
and this is equivalent to choosing the \emph{crisp conformal IDR} CDF as
\begin{equation*}
F(z) = \Pi_u[\mu, X_{n+1}](z) - \frac{1}{2} \Pi_u[\mu, X_{n+1}](z)^2 + \frac{1}{2} \Pi_{\ell}[\mu, X_{n+1}](z)^2,
\end{equation*}
which mirrors \eqref{eq:Brier}. Since the function $x - (1/2)x^2$ is increasing on $[0,1]$, $F(z)$ is increasing in $z$. In order to obtain a CDF, we set $F$ equal to zero and one beyond some large interval $[-C,C]$, respectively.
\subsection{Consistency of IDR}
Under the assumption that the conditional distributions of $Y$ given $X$ are stochastically ordered, it has been shown that IDR is uniformly consistent for the conditional distribution of $Y$ given $X$ (under some regularity assumptions): for an ordinal covariate $X$, the result can be found in \citet{El-BarmiMukerjee2005}; for a real-valued covariate $X \in \R$, the result is due to \citet{Mösching&Dümbgen}; for a higher-dimensional covariate, see \citet{HenziZiegelETAL2021}; and for an estimated partial order, see \citet{HenziKlegerETAL2023,BalabdaouiHenziETAL2024}.
The isotonicity assumption for the conditional distributions is not necessary to obtain conformal calibration guarantees with IDR. Interestingly, IDR also remains consistent without the isotonicity assumption. \citet{GavrilopoulosZiegel2025} show that under some regularity assumptions, IDR is uniformly consistent for the isotonic conditional law $\mathcal{L}(Y \mid \mathcal{A}(X))$ \citep{ArnoldZiegel2023}, which can be understood as an isotonic projection of the usual conditional law. This means that the conformal IDR approximates the isotonic conditional law of $Y$ given the $\sigma$-lattice generated by $X$ for large $n$. Clearly, if the isotonicity assumption holds, then the isotonic conditional law is just the usual conditional law and there is some resemblance to the asymptotic conditional guarantees of \citet{ChernozhukovWuthrichETAL2021}. However, in the case of model misspecification, conformal IDR has stronger finite sample and asymptotic calibration guarantees than the methods in \citet{ChernozhukovWuthrichETAL2021}. Under the isotonicity assumption of stochastically ordered conditional distributions of $Y$ given $X$, the consistency of IDR implies that conformal IDR is a universal predictive system in the sense of \citet{Vovk2022}.
\section{Quantifying epistemic uncertainty with conformal IDR}\label{sec:epistemic}
Probabilistic forecasts provide more information than point forecasts since they take the form of entire predictive distributions, thereby quantifying the uncertainty in the future outcome. Intuitively, the spread of the predictions provides information regarding how predictable the future event is. However, these predictive distributions only model the aleatoric uncertainty of the outcome (uncertainty of the outcome, first-order probabilities), and do not account for the additional epistemic uncertainty (prediction uncertainty, second-order probabilities) that arises in the modelling process. While it is widely acknowledged that epistemic uncertainty (or forecast ambiguity) exists, this uncertainty is rarely treated or communicated to forecast users.
Previous contributions in the econometrics literature on ambiguity and second-order probabilities for binary outcomes include the work of \citet{Takeoka2007,Seo2009,DillenbergLlerasETAL2014,ChambersLambert2021}.
\citet{EckelEtAl2012} have suggested ways to estimate and report ambiguity in ensemble weather forecasts, and have considered how valuable such information is to the decision maker. Epistemic uncertainty is also known in mathematical finance, where it is subsumed under the term model risk \citep{Cont2006}. In the machine learning literature, several methods have been proposed to go beyond quantifying only first-order probabilities, and seek to distinguish between epistemic and aleatoric uncertainty \citep{KendallGal2017,AbdarPourpanahETAL2021}. These are critically discussed by \citet{MeinertGawlikowskiETAL2022,BengsHullermeierETAL2022}.
We argue that conformal IDR provides a natural way to quantify the epistemic uncertainty of predictive distributions for real-valued outcomes via the thickness of the predictive system. A larger thickness implies that there is larger uncertainty about which distribution function should be issued as the forecast, whereas a small thickness implies small epistemic uncertainty. This interpretation is justified by the consistency of IDR: Using the notation of Theorem \ref{thm:master}, the unachievable target \[G\Big[\sum_{j=1}^{n+1}\delta_{(X_j,Y_j)},X_{n+1}\Big]\] converges to the isotonic conditional law \[\mathcal{L}\Big(Y \mid \mathcal{A}\Big(H\Big[\sum_{j=1}^{n+1}\delta_{(X_j,Y_j)},X_{n+1}\Big]\Big)\Big),\] and the thickness of the predictive system is exclusively due to the fact that we do not have the observation $Y_{n+1}$. The thickness (corresponding to epistemic uncertainty) goes to zero with $n \to \infty$ (Theorem \ref{thm:ConfIDR_thickness}), whereas even in the limiting case, given $X_{n+1}$, there is still (aleatoric) uncertainty about which value the realization of $Y_{n+1}$ will take.
While only one predictive distribution will generally be provided to forecast users, this forecast could be communicated to users alongside the thickness of the predictive bands. To ease the interpretation of the epistemic forecast uncertainty, we suggest to partition the thickness into a small number of bins, each corresponding to a different degree of epistemic uncertainty. We use the simple approach to define forecasts as \emph{low uncertainty}, \emph{medium uncertainty}, or \emph{high uncertainty} depending on whether the thickness is smaller than 0.25, between 0.25 and 0.5, or higher than 0.5, respectively. Other thresholds could obviously also be employed. While simple, this provides a traffic-light system that immediately and intuitively informs users how much epistemic uncertainty is present in the forecast, or, in other words, how informative the training data is for the next prediction instance. An example of how such a system can be employed in practice is provided in Section \ref{subsec:cs_weather}.
\section{Simulation results}\label{sec:sims}
We conduct a simulation study to compare the performance of crisp predictive distributions obtained from CM conformal predictive systems, conformal IDR, and conformal binning. The CM predictive system that we study is the LSPM (Example \ref{ex:lspm}). The conformal binning distributions are constructed as described in Example \ref{ex:kmeans} and always implemented with $k=10$ bins for simplicity. All methods are implemented in a full conformal setting.
\subsection{Isotonic}
Following \cite{HenziZiegelETAL2021}, consider a covariate $X \sim \text{Unif}(0, 10)$, with corresponding outcome
\begin{equation}\label{eq:simstudy_data}
Y \mid X \sim \text{Gamma}(\text{shape} = \sqrt{X}, \text{scale} = \min \{ \max \{ X, 1\}, 6 \}).
\end{equation}
Data drawn from this model are displayed in Figure~\ref{fig:simstudy_data}. This presents a case where the uncertainty in the outcome depends on the covariate. We use a training set of $n = 2000$ independent draws from \eqref{eq:simstudy_data}, and the three conformal predictive systems are then evaluated on an independent test set of size $5000$. Results for other choices of $n$ are analogous, and are shown in Figure \ref{fig:simstudy_app} in Appendix \ref{app:sim}.
\begin{figure}
\centering
\begin{subfigure}{0.3\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_data.png}
\caption{Isotonic}
\end{subfigure}
\begin{subfigure}{0.3\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_data_le.png}
\caption{Less isotonic}
\end{subfigure}
\caption{1000 points generated using (a) the model at \eqref{eq:simstudy_data}, and (b) at \eqref{eq:simstudy_data_less}.}
\label{fig:simstudy_data}
\end{figure}
\begin{figure}[t]
\centering
\includegraphics[width=\linewidth]
{Figures/simstudy_2000_ho.png}
\includegraphics[width = \linewidth]{Figures/simstudy_2000_tc.png}
\caption{p-p plots of PIT values (top row) and threshold calibration reliability diagrams (bottom) for the least squares prediction machine (LSPM), conformal IDR (CIDR), and conformal binning (CB) when predicting the data generated from \eqref{eq:simstudy_data}. The p-p plots contain a 90\% consistency interval around the diagonal, as well as average CRPS values for each method. Threshold calibration is displayed at five thresholds $x$, corresponding to the 10$^{th}$, 25$^{th}$, 50$^{th}$, 75$^{th}$, and 90$^{th}$ percentiles of the observations.}
\label{fig:simstudy}
\end{figure}
Figure \ref{fig:simstudy} presents PIT p-p plots and average CRPS values for the crisp CDF of the LSPM, conformal IDR, and the conformal binning approach. PIT p-p plots display the empirical CDF of the PIT values; since these should be uniformly distributed, deviations from the diagonal are indicative of miscalibration. All predictive systems appear probabilistically calibrated. Conformal IDR and conformal binning outperform the LSPM, resulting in CRPS values around 8\% lower on average. The conformal binning approach is more sensitive to small sample sizes (Figure \ref{fig:simstudy_app}), though this could be circumvented by varying the number of bins depending on the amount of training data. For comparison, the ideal forecaster, which issues the correct data generating process (\ref{eq:simstudy_data}) as a forecast, receives an average CRPS of 3.45.
Figure \ref{fig:simstudy} also displays threshold calibration reliability diagrams for the three predictive systems; these are based on the CORP approach proposed by \cite{DimitriadisGneitingETAL2021} and \cite{GneitingResin2023}. For conformal IDR and conformal binning, the curves are roughly on the diagonal for all thresholds considered, confirming that these methods are threshold calibrated. In contrast, the curves deviate from the diagonal for the LSPM: For small thresholds, where there is relatively low uncertainty in the data (Figure \ref{fig:simstudy_data}), the predictions are under-confident and overestimate the uncertainty, while the opposite is true for larger thresholds; these errors average out over all thresholds.
\subsection{Less isotonic}
In \eqref{eq:simstudy_data}, there is an isotonic relationship between the covariate and the outcome, thereby satisfying the key assumption underlying IDR. The calibration guarantees of conformal IDR do not rely on the isotonicity assumption, and we verify this here empirically. Consider the data generating process
\begin{equation}\label{eq:simstudy_data_less}
Y \mid X \sim \mathcal{N}(2X + 5\sin(X), (X/5)^{2}).
\end{equation}
Data drawn from this model are also displayed in Figure~\ref{fig:simstudy_data}.
PIT p-p plots and threshold calibration diagrams for the three predictive systems are displayed in Figure \ref{fig:simstudy_le}. While the three predictive systems all issue probabilistically calibrated forecasts, the LSPM clearly does not satisfy the stronger notion of threshold calibration. Conformal IDR and conformal binning therefore outperform the LSPM when evaluated using the CRPS. Since the degree of isotonicity is weaker, conformal IDR also performs marginally worse than conformal binning. Interestingly, the performance of the LSPM also deteriorates when the isotonicity is weakened.
\begin{figure}[t]
\centering
\includegraphics[width=\linewidth]{Figures/simstudy_2000_le_ho.png}
\includegraphics[width = \linewidth]{Figures/simstudy_2000_tc_le.png}
\caption{As in Figure \ref{fig:simstudy} but with data generated as at \eqref{eq:simstudy_data_less}.}
\label{fig:simstudy_le}
\end{figure}
\section{Applications}\label{sec:app}
\subsection{European temperature forecasts}\label{subsec:cs_weather}
We consider an application in the context of weather forecasting. While numerical weather models exist to predict surface weather variables, the output of such models is generally miscalibrated. This output therefore requires statistical post-processing to generate reliable probabilistic forecasts. In this application, the LSPM, conformal IDR, and the conformal binning approach are compared when statistically post-processing daily mean temperature forecasts at 35 weather stations across central Europe, displayed in Figure \ref{fig:EUMN_data}. The forecasts are issued 24 hours in advance.
\begin{figure}
\centering
\includegraphics{Figures/EUMN_stations_alt.png}
\raisebox{1.3cm}{\includegraphics{Figures/EUMN_data.png}}
\vspace{-1cm}
\caption{Left: Stations at which forecasts are considered, with their average temperatures. Right: Ensemble mean temperature forecasts and observations (in degrees celcius) at one station.}
\label{fig:EUMN_data}
\end{figure}
The data is part of the EUPPBench dataset, which is a benchmark dataset for the comparison of statistical post-processing methods \citep{DemaeyerEtAl2023}. The forecasts take the form of ensembles, i.e. discrete predictive distributions, and we take the mean of these ensemble forecasts as a single univariate real-valued covariate. There is a clear isotonic relationship between the ensemble mean temperature and the corresponding observation (Figure \ref{fig:EUMN_data}).
The dataset consists of 20 years of bi-weekly forecasts, and two years of daily forecasts and observations between 2017 and 2018. The three conformal prediction methods are fit separately at each weather station, and, to account for seasonal trends in temperature, the training data consists of all forecasts in previous years that were issued within a rolling window of 90 days centred around the forecast day. The two years of daily forecasts are then used as test data. As described in Example \ref{ex:kmeans}, the bins in the conformal binning approach are obtained using $k$-means clustering. The number of bins is estimated using cross-validation in the training data.
PIT p-p plots for the three prediction methods are displayed in Figure \ref{fig:EUMN_pit_comp}, along with the CRPS of each method, averaged over all stations and days. The conformal binning approach performs slightly worse than the alternatives with respect to CRPS, but all methods appear probabilistically calibrated. For comparison, the raw ensemble forecasts without post-processing are severely underdispersed with an average CRPS of 0.924 (not shown).
\begin{figure}[t]
\centering
\includegraphics[width=\linewidth]{Figures/EUMN_pitrd_comp.png}
\includegraphics[width=\linewidth]{Figures/EUMN_tcal_comp.png}
\caption{As in Figure \ref{fig:simstudy} when predicting European temperatures. Threshold calibration is displayed at five temperature thresholds $x$ (in degrees Celcius), corresponding to the 10$^{th}$, 25$^{th}$, 50$^{th}$, 75$^{th}$, and 90$^{th}$ percentiles of the observations in the training data set (over all stations and seasons).}
\label{fig:EUMN_pit_comp}
\end{figure}
Threshold calibration diagrams are also shown for the three methods in Figure \ref{fig:EUMN_pit_comp}. While conformal IDR and the conformal binning approach are threshold calibrated by construction, the least squares prediction machine also appears threshold calibrated here, suggesting that the conditional variance of temperature does not depend on the forecast. This explains why the LSPM performs similarly to the other methods in this application, despite its weaker theoretical guarantees.
Finally, Figure \ref{fig:EUMN_thick} displays the thickness of the conformal IDR bands, which provides a measure of the forecast ambiguity. Results are shown for one station, though similar results are obtained for other stations. The thickness is displayed using the traffic light system described in Section \ref{sec:epistemic}, shown as a function of the observed temperature and the CRPS. The thickness is generally small, with only a handful of forecast cases exhibiting very high epistemic uncertainty. Large thicknesses tend to occur in the winter and summer of 2018, which correspond to when the ensemble mean forecast is relatively extreme (either high or low) compared to its most frequent values. The bottom right panel of Figure \ref{fig:EUMN_thick} demonstrates that the CRPS of the crisp CDF has little association with the thickness of the conformal predictive system. This illustrates the difference between aleatoric and epistemic uncertainty: A predictive system can have a large thickness (i.e. high epistemic uncertainty), even if the crisp CDF is sharp (i.e. low aleatoric uncertainty), and vice versa.
While this is admittedly only a high-level evaluation of the epistemic uncertainty quantification, it should be noted that there are no established methods for the evaluation of whether epistemic forecast uncertainty has been correctly specified by forecasters, see in particular the negative results on second-order proper scoring rules by \citet{BengsHullermeierETAL2023}.
\begin{figure}[t]
\centering
\includegraphics[width=0.49\linewidth]{Figures/EUMN_thick_cidr.png}
\includegraphics[width=0.49\linewidth]{Figures/EUMN_thick_ens.png}
\includegraphics[width=0.49\linewidth]{Figures/EUMN_thick_obs_ts.png}
\includegraphics[width=0.49\linewidth]{Figures/EUMN_thick_crps_ts.png}
\caption{Plots showing the thickness of conformal IDR predictive bands. Results are shown for one randomly selected station, except for the histogram in the top right panel. The bottom row uses the definitions of low, medium and high epistemic uncertainty in Section \ref{sec:epistemic}.}
\label{fig:EUMN_thick}
\end{figure}
\subsection{ICU patient length of stay forecasts}
We consider a second application to forecasts for the patient length of stay (LoS) in Swiss intensive care units (ICUs). As described in \cite{HenziKlegerETAL2023}, the Swiss Society of Intensive Care Medicine maintains the Minimal Dataset of the Swiss Society of Intensive Care Medicine (MDSi), which contains patient data regarding admissions to ICUs in Switzerland. We consider a subset of the MDSi dataset that corresponds exactly to the data used in \cite{HenziKlegerETAL2023}. This subset contains data for 18 ICUs in Switzerland, all of which have more than 10,000 admissions. We adopt a split conformal approach, in which the data is partitioned into estimation, calibration, and test sets. The test set contains the most recent 25\% of the data, with the calibration and estimation data comprising a random one and two thirds of of the remaining data respectively.
As well as the length of stay of all patients, the dataset also contains several variables (including illness severity score, nursing workload score, age and sex of the patient) that may be informative when predicting LoS. These variables are used to obtain a real-valued prediction for the LoS by fitting a linear regression model to the log-transformed LoS in the estimation set. A separate model is fit to each ICU. The data, pre-processing steps, and regression model are discussed in detail in \cite{HenziKlegerETAL2023}. The three conformal prediction methods are applied to the predictions obtained using the regression model, so that $\mathcal{X} = \R_{+}$ and $\mathcal{Y} = \R_{+}$.
PIT p-p plots for the crisp CDFs of the three methods are displayed in Figure \ref{fig:ICU_pit_comp}, along with the average CRPS over all patients and ICUs. While all three prediction methods appear probabilistically calibrated, the conformal IDR and conformal binning approaches result in more accurate forecasts; the average CRPS for conformal IDR is 10\% lower than that of the LSPM.
This can again be explained by analyzing threshold calibration plots, shown in Figure \ref{fig:ICU_pit_comp}. The conformal IDR and conformal binning methods both appear roughly calibrated at all thresholds, whereas the LSPM exhibits significant biases at the various thresholds, which cancel out when considering probabilistic calibration. The conditional variance of the outcome depends on the value of the covariate, which is not handled well by CM conformal predictive systems.
\begin{figure}[t]
\centering
\includegraphics[width=\linewidth]{Figures/ICU_pitrd_comp.png}
\includegraphics[width=\linewidth]{Figures/ICU_tcal_comp.png}
\caption{As in Figure \ref{fig:simstudy} when predicting the length of patient stay in Swiss ICUs. Threshold calibration is displayed at five thresholds $x$ (in hours), corresponding to the 10$^{th}$, 25$^{th}$, 50$^{th}$, 75$^{th}$, and 90$^{th}$ percentiles of the length of stay observations in the test data set (over all ICUs).}
\label{fig:ICU_pit_comp}
\end{figure}
Figure \ref{fig:ICU_thick} displays a histogram of the thickness of the conformal IDR predictive bands. The thickness is generally close to zero, suggesting the choice of a crisp CDF is not too important in this application. There are 54 forecast cases (out of the 77312 in the test data set) where the thickness is equal to one. Interestingly, there seems to be no obvious relationship between the thickness and other covariates, or the observed outcomes. However, there is a strong decreasing relationship between the average thickness of the predictive bands and the amount of data available on which to train the model; Figure \ref{fig:ICU_thick} additionally shows the average thickness of the forecasts made at each ICU against the corresponding training data size.
\begin{figure}[t]
\centering
\includegraphics[width=0.49\linewidth]{Figures/ICU_thick_cidr.png}
\includegraphics[width=0.49\linewidth]{Figures/ICU_thick_n.png}
\caption{Left: Histogram of the thickness of the conformal IDR bands across all ICUs. Right: Average thickness for each ICU against the corresponding sample size in the training data.}
\label{fig:ICU_thick}
\end{figure}
Finally, Figure \ref{fig:ICU_CDF_ex} displays examples of two crisp CDFs obtained by the LSPM, conformal IDR and conformal binning. A key difference between the CDFs is that conformal IDR and conformal binning more accurately capture the behavior of LoS. In particular, patients are generally discharged from ICU units at similar times of the day, less often at night for example. The distribution of LoS therefore exhibits several jumps at these times of the day. While this behavior is present in the conformal IDR and conformal binning predictive distributions, it is not captured by the LSPM CDFs, which are much smoother and hence unrealistic.
\begin{figure}
\centering
\includegraphics[width=0.49\linewidth]{Figures/ICU_dist_ex.png}
\includegraphics[width=0.49\linewidth]{Figures/ICU_dist_ex2.png}
\caption{Examples of (crisp) predictive distributions obtained from the LSPM, conformal IDR, and conformal binning predictive systems, for two randomly selected patients.}
\label{fig:ICU_CDF_ex}
\end{figure}
\section{Discussion}\label{sec:disc}
This work demonstrates that distributional regression or probabilistic forecasting methods with in-sample calibration guarantees can be used to construct predictive systems with conformal calibration guarantees under the assumption of exchangeability. That is, they generate bands that contain a calibrated probabilistic forecast for an out-of-sample outcome. Using this, we introduce two novel conformal predictive systems that satisfy stronger notions of calibration than existing approaches. The first conformal binning approach bins together similar covariates, essentially corresponding to conformal versions of analog-based forecasting methods. The second approach concerns isotonic distributional regression (IDR).
IDR is a flexible non-parametric distributional regression method that requires almost no implementation choices, making it a suitable baseline probabilistic forecasting method. Since IDR satisfies a relatively strong notion of isotonic calibration (in-sample), conformal IDR generates bands that are guaranteed to contain an isotonically calibrated predictive distribution. In contrast, classical CM conformal predictive systems, such as the least squares prediction machine (LSPM), only satisfy probabilistic calibration, which is known to be a weaker, unconditional notion of calibration. We therefore find, in both simulated and real data examples, that when the conditional variance of the target variable depends on the covariate, significant improvements in forecast performance can be obtained using conformal binning or conformal IDR.
We additionally study the thickness of the conformal IDR predictive systems. While the thickness of the LSPM and conformal binning procedures are typically determined by the sample size (possibly within bins), the thickness of conformal IDR is found to depend on how familiar the covariate value is; covariate values that are similar to values that have been seen several times before yield low thickness, whereas unusual values result in a large difference between the lower and upper bounds. Therefore, we suggest to interpret the thickness of the conformal IDR as a measure of epistemic uncertainty of the forecast, that is, how uncertain the predictive distribution is. In an application to temperature forecasts, we find that the thickness is generally not associated with the observed outcome nor with the accuracy of the crisp predictive distribution, highlighting the distinction between epistemic and aleatoric uncertainty.
There are several possible extensions to the work considered herein. Conformal IDR can also yield predictive distributions with calibration guarantees under covariate shift using the approach in \cite{TibshiraniBarberETAL2019}. Conformal IDR can also be used to construct conformal prediction sets for real valued outcomes and their properties should be compared to existing approaches in the literature. Combining conformal IDR with conformity measures, one can also construct new conformal prediction sets for multivariate or more general types of outcomes.
Finally, conformal binning procedure merits further investigation due to its simplicity, good performance in the simulations and application examples, and its auto-calibration guarantee. For example, while the case studies in Section \ref{sec:app} employ $k$-means clustering to bin the covariates, alternative approaches could also be used for this purpose, such as decision trees. This binning can also be performed easily in higher dimensions, which may provide a means to construct multivariate conformal predictive systems with multivariate calibration guarantees.
\section*{Acknowledgments}
The authors thank the Swiss Society of Intensive Care Medicine for providing the data for the case study on intensive care unit patient length of stay. The work has greatly benefited from discussions with the participants of the 13th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2024), seminar participants of the Data Science and Mathematical Modeling Seminar at the Univeristy of Zurich, and of the BIDSA Seminar at Universit\`a Bocconi.
\bibliographystyle{chicago}
\bibliography{biblio}
\appendix
\section{Proofs}\label{app:proofs}
\citet{BarberCandesETAL2022} put forward the idea of allowing for deterministic weights in conformal prediction. In situations when the exchangeability assumption is violated, such weights can allow to bound the coverage gap. Theorem \ref{thm:master} also holds with weights, and we give this more general result here.
\begin{thm}\label{thm:master_w}
Let $(X_1,Y_1),\dots,(X_n,Y_n),(X_{n+1},Y_{n+1})$ be an exchangeable sequence, and let $w_1,\dots,w_n$ be deterministic non-negative weights. Let $\Pi$ be the predictive band defined at \eqref{eq:PB1}, \eqref{eq:PB2} for some procedure $G$, $\mu = \sum_{j=1}^n w_j \delta_{(X_j,Y_j)}$, and $x = X_{n+1}$. Let $H$ be a summary function and define $\widetilde\mu=\mu + \delta_{(X_{n+1},Y_{n+1})}$.
\begin{enumerate}
\item[(i)] If $G$ is probabilistically calibrated, then, $\Pi$ contains a probabilistically calibrated predictive CDF for $Y_{n+1}$, that is, for all $u \in (0,1)$, we have that
\begin{equation*}
\prob\Big(G\big[\widetilde{\mu},X_{n+1}\big](Y_{n+1}) < u\Big) \le u \le \prob\Big(G\big[\widetilde{\mu},X_{n+1}\big](Y_{n+1}-) \le u\Big).
\end{equation*}
\item[(ii)] If $G$ is isotonically $H$-calibrated, then, $\Pi$ contains an isotonically $\mathcal{A}(H[\widetilde{\mu},X_{n+1}])$-calibrated predictive CDF for $Y_{n+1}$, that is, for all $y \in \mathbb{R}$,
\[
1 - G\big[\widetilde{\mu},X_{n+1}\big](y) = \mathbb{P}\Big(Y_{n+1}) > y \Big| \mathcal{A}\Big(H\big[\widetilde{\mu},X_{n+1}\big]\Big)\Big).
\]
In particular, $F_{n+1}=G\big[\widetilde{\mu},X_{n+1}\big]$ is isotonically calibrated for $Y_{n+1}$.
\item[(iii)] If $G$ is $H$-calibrated, then, $\Pi$ contains a $\sigma(H[\widetilde{\mu},X_{n+1}])$-calibrated predictive CDF for $Y_{n+1}$, that is, for all $y \in \mathbb{R}$,
\[
1 - G\big[\widetilde{\mu},X_{n+1}\big](y) = \mathbb{P}\Big(Y_{n+1} > y \Big| H\big[\widetilde{\mu},X_{n+1}\big]\Big).
\]
In particular, $F_{n+1}=G\big[\widetilde{\mu},X_{n+1}\big]$ is auto-calibrated for $Y_{n+1}$.
\end{enumerate}
\end{thm}
\begin{proof}
We define \(w_{n+1}\vcentcolon=1\).
For all three parts of the theorem, we are going to make use of a random variable \(\kappa\), which is independent of \(\left(X_1,Y_1\right),\ldots,\left(X_{n+1},Y_{n+1}\right)\) and takes values in $\{1,\dots,n+1\}$ such that, for all \(i\in \{1,\ldots,n+1\}\),
\[\mathbb{P}(\kappa=i)=\frac{w_i}{\sum_{j=1}^{n+1}w_j}=\vcentcolon \widetilde{w}_i.\]
For the proof of part (i),
notice that \(\sum_{i=1}^{n+1}\widetilde{w}_i=1\) and, due to the independence of \(\kappa\) and \(\left(X_1,Y_1\right),\ldots,\left(X_{n+1},Y_{n+1}\right)\), it follows that
\[\prob\Big(G[\widetilde{\mu},X_\kappa]\left(Y_\kappa\right)<u\Big| \widetilde{\mu}\Big)
=
\sum_{j=1}^{n+1}\widetilde{w}_j\cdot \prob\Big(G[\widetilde{\mu},X_j]\left(Y_j\right)<u\Big|\widetilde{\mu}\Big).\]
Hence, for all $u \in (0,1)$, we obtain
\begin{multline}
\label{eq:secondlineA}
\prob\Big(G[\widetilde{\mu},X_{n+1}](Y_{n+1}) < u \Big| \widetilde\mu \Big) = \prob\Big(G[\widetilde{\mu},X_\kappa](Y_\kappa) < u \Big| \widetilde\mu \Big)\\
+ \sum_{j=1}^{n+1}\widetilde{w}_j \Big[\prob\big(G[\widetilde{\mu},X_{n+1}](Y_{n+1}) < u \big| \widetilde\mu \big) - \prob\big(G[\widetilde{\mu},X_j](Y_j) < u \big| \widetilde\mu \big)\Big].
\end{multline}
All summands in the second line of \eqref{eq:secondlineA} are zero due to exchangeability. Conditional on $\widetilde\mu$, the random variable $(X_\kappa,Y_\kappa)$ has distribution $P\widetilde\mu$, hence probabilistic calibration of $G$ yields that the above expression is less or equal to $u$. The second inequality in part (i) is shown analogously.
For the proof of part (ii), we would like to show that, for each $y \in \mathbb{R}$,
\[\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \ \Big| \ \A\left(H\left[\tldmu, X_{n+1}\right]\right)\Big]=G[\tldmu, X_{n+1}](y).\]
According to the definition of conditional expectations with respect to $\sigma$-lattices, see for example \citet[Definition 2.1]{ArnoldZiegel2023}, it suffices to show that, for any \(A\in \A\left(H\left[\tldmu, X_{n+1}\right]\right)\) and \(B\in \sigma(G[\tldmu, X_{n+1}](y))\), it holds that
\begin{align*}
\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \one_{A}\Big]&\leq \E\Big[G\left[\tldmu, X_{n+1}\right]\left(y\right)\one_{A}\Big],\\
\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \one_{B}\Big]&= \E\Big[G\left[\tldmu, X_{n+1}\right]\left(y\right) \one_{B}\Big].
\end{align*}
By \cite[Definition~3.1]{ArnoldEtAl2024}, it follows that \(A=\left\{H\left[\tldmu, X_{n+1}\right]\in U\right\}\) for some Borel set $U\subset \mathcal{X}'$ that is an upper set.
Due to exchangeability, it holds that \(\left(\left(X_{\kappa},Y_{\kappa}\right)\mid \tldmu\right)\sim \tldmu\), where \(\kappa\) is the discrete random variable defined at the beginning of the proof.
Thus,
\begin{align}
\label{eq:intermediate_1}
\E\left(\E \Big[\one{\left\{Y_{\kappa}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{\kappa}\right]\in U\right\}}\ \Big | \ \widetilde{\mu}\Big]\right)
&=\E\left(\E_{\tldmu}\Big[\one{\left\{Y_{\kappa}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{\kappa}\right]\in U\right\}}\Big]\right)\nonumber \\
&=\sum_{i=1}^{n+1} \widetilde{w}_i \E\Big(\one{\left\{Y_{i}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{i}\right]\in U\right\}}\Big)\nonumber \\
&= \E\Big(\one{\left\{Y_{n+1}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{n+1}\right]\in U\right\}}\Big),
\end{align}
where the last equation holds because of exchangeability.
By the definition of conditional expectations with respect to $\sigma$-lattices, we obtain
\begin{align}
\label{eq:intermediate_2}
\E_{\tldmu}\Big[\one{\left\{Y_{\kappa}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in U\right\}}\Big]
&\leq \E_{\tldmu}\Big[\E_{\tldmu}\Big(\one{\left\{Y_{\kappa}\leq y\right\}}\ \Big | \ \mathcal{A}\left(H\left[\tldmu, X_{\kappa}\right]\right)\Big)\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in U\right\}}\Big]
\end{align}
Since \(G\) is isotonically \(H\)-calibrated, it follows that
\begin{equation}\label{eq:GisoHcal}
\E_{\tldmu}\Big(\one{\left\{Y_{\kappa}\leq y\right\}}\ \Big | \ \A\left(H\left[\tldmu,X_{\kappa}\right]\right)\Big)=G\left[\tldmu, X_{\kappa}\right](y),
\end{equation}
so right-hand side of \eqref{eq:intermediate_2} is equal to
\begin{align*}
\E_{\tldmu}\Big(G\left[\tldmu, X_{\kappa}\right](y)\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in U\right\}}\Big)
&=\sum_{i=1}^{n+1} \Big(\widetilde{w}_j G\left[\tldmu, X_j\right]\pare{y}\one{\left\{H\left[\tldmu, X_{j}\right]\in U\right\}}\Big).
\end{align*}
Thus, from Equations \eqref{eq:intermediate_1}, \eqref{eq:intermediate_2}, it follows that
\begin{align*}
\E\Big(\one{\left\{Y_{n+1}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{n+1}\right]\in U\right\}}\Big)
&=\E\left(\E_{\tldmu}\Big[\one{\left\{Y_{\kappa}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in U\right\}}\Big]\right)\nonumber \\
&\leq \E\left[\sum_{i=1}^{n+1} \widetilde{w}_j G\left[\tldmu, X_j\right]\pare{y}\one{\left\{H\left[\tldmu, X_{j}\right]\in U\right\}}\right]\nonumber \\
&=\E\Big[G\left[\tldmu, X_{n+1}\right](y) \one{\left\{H\left[\tldmu, X_{n+1}\right]\in U\right\}}\Big],
\end{align*}
where the last step follows again from the exchangeability assumption.
Now, we want to prove that
\begin{equation*}
\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \one_{B}\Big]= \E\Big[G\left[\tldmu, X_{n+1}\right]\left(y\right)\one_{B}\Big].
\end{equation*}
Let $V \in \mathcal{B}(\mathbb{R})$ such that $B = \{G[\tldmu, X_{n+1}](y) \in V\}$. Identity \eqref{eq:intermediate_1} continues to hold with $\{H[\tldmu,X_\bullet] \in U\}$ replaced by $\{G[\tldmu, X_\bullet](y) \in V\}$ everywhere. With the same replacement, \eqref{eq:intermediate_2} now becomes an equality, where we need to use that \eqref{eq:GisoHcal} holds. Now, we can conclude as previously.
The proof of part (iii) is similar to the proof of part (ii) but a bit more straightforward.
We would like to show that, for each $y \in \mathbb{R}$,
\[\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \ \Big| \ \sigma\left(H\left[\tldmu, X_{n+1}\right]\right)\Big]=G\left[\tldmu, X_{n+1}\right]\left(y\right).\]
According to the definition of conditional expectations, it suffices to show that, for any \(B\in \sigma\left(H\left[\tldmu, X_{n+1}\right]\right)\), it holds that
\begin{equation*}
\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \one_{B}\Big]= \E\Big[G\left[\tldmu, X_{n+1}\right]\left(y\right)\one_{B}\Big].
\end{equation*}
We have that \(B=\left\{H\left[\tldmu, X_{n+1}\right]\in V\right\}\) for some Borel set \(V\subset \mathcal{X}'\).
Due to exchangeability, it holds that \(\left(\left(X_{\kappa},Y_{\kappa}\right)\mid \tldmu\right)\sim \tldmu\), where \(\kappa\) is the discrete random variable defined at the beginning of the proof.
Thus,
\begin{align}
\label{eq:intermediate_3}
\E\left(\E \Big[\one{\left\{Y_{\kappa}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in V\right\}}\ \Big | \ \widetilde{\mu}\Big]\right)
&=\E\left(\E_{\tldmu}\Big[\one{\left\{Y_{\kappa}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in V\right\}}\Big]\right)\nonumber \\
&=\sum_{i=1}^{n+1} \widetilde{w}_i \E\Big(\one{\left\{Y_{i}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{i}\right]\in V\right\}}\Big)\nonumber \\
&= \E\Big(\one{\left\{Y_{n+1}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{n+1}\right]\in V\right\}}\Big),
\end{align}
where the last equation holds because of exchangeability.
From the definition of conditional expectations, we obtain
\begin{align}
\label{eq:intermediate_4}
\E_{\tldmu}\Big[\one{\left\{Y_{\kappa}\leq y\right\}}\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in V\right\}}\Big]
&= \E_{\tldmu}\Big[\E_{\tldmu}\Big(\one{\left\{Y_{\kappa}\leq y\right\}}\ \Big | \ \sigma\left(H\left[\tldmu, X_{\kappa}\right]\right)\Big) \one{\left\{H\left[\tldmu, X_{\kappa}\right]\in V\right\}}\Big]
\end{align}
Since \(G\) is \(H\)-calibrated, it follows that
\begin{equation*}
\E_{\tldmu}\Big(\one{\left\{Y_{\kappa}\leq y\right\}}\ \Big | \ \sigma\left(H\left[\tldmu,X_{\kappa}\right]\right)\Big)=G\left[\tldmu, X_{\kappa}\right](y),
\end{equation*}
so the quantity in \eqref{eq:intermediate_4} is equal to
\begin{align*}
\E_{\tldmu}\Big(G\left[\tldmu, X_{\kappa}\right](y)\one{\left\{H\left[\tldmu, X_{\kappa}\right]\in V\right\}}\Big)
&=\sum_{i=1}^{n+1} \Big(\widetilde{w}_j G\left[\tldmu, X_j\right]\pare{y}\one{\left\{H\left[\tldmu, X_{j}\right]\in V\right\}}\Big).
\end{align*}
Thus, from Equations \eqref{eq:intermediate_3}, \eqref{eq:intermediate_4}, it follows that
\begin{align*}
\E\Big[\one{\left\{Y_{n+1}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{n+1}\right]\in V\right\}}\Big]
&=\E\left(\E_{\tldmu}\Big[\one{\left\{Y_{\kappa}\leq y\right\}} \one{\left\{H\left[\tldmu, X_{\kappa}\right]\in V\right\}}\Big]\right)\nonumber \\
&= \E\left[\sum_{i=1}^{n+1} \widetilde{w}_j G\left[\tldmu, X_j\right]\pare{y}\one{\left\{H\left[\tldmu, X_{j}\right]\in V\right\}}\right]\nonumber \\
&=\E\Big[G\left[\tldmu, X_{n+1}\right](y)\one{\left\{H\left[\tldmu, X_{n+1}\right]\in V\right\}}\Big],
\end{align*}
where the last step follows again from the exchangeability assumption.
\end{proof}
\begin{proof}[Proof of Lemma \ref{lem:monoPS}]
Writing out $G$ explicitly yields
\[
G[\mu+\delta_{(x_0,y)},x_0](y) = \frac{1}{\mu(\mathcal{Z})+1} \left(\sum_{z \in \supp\mu}\mu(z)\one\{A(\mu+\delta_{(x_0,y)},z) \le A(\mu+\delta_{(x_0,y)},(x_0,y))\} + 1\right)
\]
For a given $y \in \mathbb{R}$, we define
\begin{align*}
I(y) &= \{z \in \supp(\mu) \mid 0 \le A(\mu+\delta_{(x_0,y)},(x_0,y)) - A(\mu+\delta_{(x_0,y)},z)\}.
\end{align*}
Then, $G[\mu+\delta_{(x_0,y)},x_0] = (\mu(I(y))+1)/(\mu(\mathcal{Z})+1)$.
For $y \le y'$, \eqref{eq:incr_cond} yields that $I(y) \subseteq I(y')$, which yields the claim. The argument for $G^-$ works analogously.
\end{proof}
\begin{proof}[Proof of Theorem \ref{thm:ConfIDR_thickness}]
\citet{YangBarber2019} have introduced the sliding window norm for a random vector $x \in \R^{n+1}$, which depends on a function $\psi$ on the positive half-line that is increasing and such that $x \mapsto x/\psi(x)$ is concave. We use the choice $\psi(x)=x$. Then the sliding window norm is
\[
\|x\|^{\mathrm{SW}} = \max_{1 \le i \le j \le n+1} \left|\sum_{\ell=i}^j x_\ell\right|, \quad x \in \R^{n+1}.
\]
For $y \in \R^{n+1}$, let $\mathrm{iso}(y)$ denote its isotonic projection, that is $\mathrm{iso}(y) = \argmin_{x \in \R^{n+1}}\{\|y-x\|^2 : x_1 \le \dots \le x_{n+1}\}$, where $\|\cdot\|$ is the Euclidean norm. \citet[Theorem 2]{YangBarber2019} shows that for any $x,y \in \R^{n+1}$ and $k=1,\dots,n+1$, we have
\begin{align}
\mathrm{iso}(x)_k - \mathrm{iso}(y)_k&\le \min_{1 \le m \le (n+1)-k+1} \left\{\overline{\mathrm{iso}(y)}_{k:(k+m-1)}- \mathrm{iso}(y)_k +\frac{\|x-y\|^{\mathrm{SW}}}{m}\right\},\label{eq:thm2}
\end{align}
Suppose now that $x_i = y_i$ for all $i \not= i_0$ and $x_{i_0} \ge y_{i_0}$. Then, $\|x-y\|^{\mathrm{SW}} = |x_{i_0} - y_{i_0}|$. There exists a partition of $\{1,\dots,n+1\}$ into intervals of indices $I_1^y,\dots,I_\ell^y$ such that $\mathrm{iso}(y)_k = \sum_{\ell \in I_j^y} y_\ell/|I_j^y|$ if $k \in I_j^y$, and analogously for $\mathrm{iso}(x)$. Suppose that $i_0 \in I_{j_0}^y \cap I_{\ell_0}^x$ . Then $\min I_{j_0}^y \le \min I_{\ell_0}^x$ and $\max I_{j_0}^y \le \max I_{\ell_0}^x$, which can be deduced from the min-max formula for isotonic regression. Taking $k = \min I_{j_0}^y$, we find from \eqref{eq:thm2} that
\begin{equation}\label{eq:i_0bound}
0 \le \mathrm{iso}(x)_{i_0} - \mathrm{iso}(y)_{i_0} \le \frac{|x_{i_0} - y_{i_0}|}{\max I_{j_0}^y - \min I_{\ell_0}^x + 1}.
\end{equation}
Define $\tilde{\mu} = \mu+\delta_{(X_{n+1},Y_{n+1})}$, $Z_i = H[\tilde{\mu},X_i]$, and let $\pi$ be the permutation of $1,\dots,n+1$ such that $Z_{(i)} = Z_{\pi(i)}$, $i=1,\dots,n+1$. Fix $y \in \R$. Define $y = (\one\{Y_{\pi(i)}> y\})_{i=1}^n$ and $x_i = x_i' = y_i$ for $\pi(i) \not= n+1$, $x_{i_0} = 1$, $x_{i_0}' = 0$ with $i_0 = \pi^{-1}(n+1)$. Now,
\[
\mathbb{E}\left(\Pi_u[\mu,X_{n+1}](y)) - \Pi_u[\mu,X_{n+1}](y))\right) = \mathbb{E}(\mathrm{iso}(x)_{i_0} - \mathrm{iso}(x')_{i_0}).
\]
Conditional on $\tilde{\mu}$, the probability the $Z_{n+1}$ falls into any index interval $I \subset \{1,\dots,n+1\}$ is $|I|/(n+1)$. Split each index interval of the partition $I_1^y,\dots,I_\ell^y$ of $\{1,\dots,n+1\}$ into two index intervals $I_j'$ and $I_j''$ such that $I_j''$ contains $[|I_j^y|n^{-1/3}]$ elements. If $i_0$ falls in $I_{j_0}'$, then $\max I_{j_0}^y - \min I_{\ell_0}^x + 1 \ge [|I_{j_0}^y|n^{-1/6}] \ge |I_{j_0}^y|n^{-1/6}$. Therefore,
using \eqref{eq:i_0bound}, we obtain
\begin{align*}
0 \le \E(\mathrm{iso}(x)_{i_0} - \mathrm{iso}(y)_{i_0}|\tilde{\mu}) & \le \sum_{j=1}^\ell \E\left(\one\{i_0 \in I_j'\}\frac{n^{1/3}}{|I_j^y|}|\tilde{\mu}\right)+ \E\left(\one\{i_0 \in I_j''\}|\tilde{\mu}\right)\\
&\le \sum_{j=1}^\ell \frac{|I_j^y|}{n} \frac{n^{1/6}}{|I_j^y|} + \frac{|I_{j_0}^y|n^{-1/6} + 1}{n}\\
&= \ell n^{-1+1/6} + n^{-1/6} + \ell n^{-1} \le 3 n^{-1/6} + n^{-1/6} + 3 n^{-1/3} \le 7n^{-1/6},
\end{align*}
where the final inequality uses that $\ell \le 3n^{-2/3}$ by \citet[Lemma 1]{DimitriadisDumbgenETAL2023}. An analogous argument can be applied to bound $0 \le \E(\mathrm{iso}(y)_{i_0} - \mathrm{iso}(x')_{i_0}|\tilde{\mu})$, which yields the claim.
\end{proof}
\section{Isotonic calibration}\label{app:isotoniccal}
A probabilistic forecast $F$ is auto-calibrated if $\L( Y \mid F) = F$ almost surely. That is, given that $F$ is issued as the forecast, the observations will arise according to this predicted distribution, meaning the forecast can be taken at face value. Auto-calibration is therefore an intuitive property that we would like our forecasts to satisfy. However, auto-calibration is generally prohibitively difficult to assess in practice: We require an estimate of the conditional distribution $\L( Y \mid F)$. Instead of conditioning on the $\sigma$-algebra generated by $F$, \cite{ArnoldZiegel2023} suggest conditioning on the $\sigma$-lattice generated by $F$, $\A(F) \subset \F$. They call a forecast isotonically calibrated if $F = \L(Y \mid \A(F))$.
A $\sigma$-lattice $\C \subset \F$ is a collection of subsets that contains $\varnothing$ and $\Omega$, and is closed under countable unions and intersections (but not necessarily under complements). Any $\sigma$-algebra is therefore also a $\sigma$-lattice, and the $\sigma$-lattice generated by a random variable is a subset of the $\sigma$-algebra it generates. In particular, while $\L(Y \mid F)$ represents the conditional distribution of $Y$ given all information about $F$, $\L(Y \mid \A(F))$ represents the conditional distribution of $Y$ given all information about $F$ under the additional assumption of isotonicity between $Y$ and $F$ \citep{ArnoldZiegel2023}. Isotonic calibration is therefore a strictly weaker requirement than auto-calibration.
However, in contrast to auto-calibration, it is straightforward to assess isotonic calibration in practice. The isotonic conditional law of $Y$ given $F$, $\L(Y \mid \A(F))$, is the population version of isotonic distributional regression (IDR) \citep{HenziZiegelETAL2021}. Hence, given a set of forecast distributions $F_{1}, \dots, F_{n}$ and corresponding observations $y_{1}, \dots, y_{n}$, isotonic calibration can be assessed by applying IDR with the set of forecast distributions as covariates, and the observations as target variable. This is discussed in detail by \cite{ArnoldEtAl2024}.
\section{Probabilistic calibration}\label{app:PIT}
We show the following results that make our claims in Section \ref{sec:calibration} precise.
\begin{prop}\label{prop:PIT1}
Let $F$ be a deterministic CDF, and $Y$ a random variable. Suppose that
\[
\prob(F(Y) < \alpha) \le \alpha \le \mathbb{P}(F(Y-) \le \alpha), \quad \text{for all $\alpha \in (0,1)$.}
\]
Then, $Y$ has distribution $F$. If $Y$ has distribution $F$, then the above relation holds.
\end{prop}
\begin{proof}
Suppose that $F$ jumps at the points $(z_i)_{i \in \mathbb{N}}$, and let $G$ be the CDF of $Y$. If $F(z_i-) \le \alpha < F(z_i)$, then
\[
F(Y) < \alpha\; \Longleftrightarrow \; Y < z_i, \quad \text{and} \quad F(Y-) \le \alpha \; \Longleftrightarrow \; Y \le z_i,
\]
hence $G(z_i-) \le \alpha \le G(z_i)$, which implies
\begin{equation}\label{eq:jump}
G(z_i-) \le F(z_i-) < F(z_i) \le G(z_i).
\end{equation}
Therefore, $G$ also jumps at $z_i$ and the jump is larger or equal to the jump of $F$.
Suppose now that $F^{-1}(\{\alpha\})$ is not empty and that its closure is the interval $[z,z']$, hence $F(z) = F(z'-) = \alpha$.
Then,
\[
F(Y) < \alpha \; \Longleftrightarrow \; Y < z, \quad \text{and} \quad F(Y) \le \alpha \; \Longleftrightarrow \; Y \le z',
\]
hence $G(z-) \le F(z) = F(z'-) \le G(z)$.
Overall, combining this with \eqref{eq:jump}, we find for all $z$ in the support of $F$ (that is, points $z$ where $F$ jumps or where $F$ is continuous but $z$ is not contained in the interior of a constant piece) that
\[
G(z-) \le F(z-) \le F(z) \le G(z).
\]
For two points $z' > z$ in the support of $F$, this implies
\begin{equation}\label{eq:all}
F(z) \le G(z) \le G(z'-) \le F(z'-).
\end{equation}
This shows that $G$ is constant whenever $F$ is, so the support of $G$ is contained in the support of $F$. Furthermore, $G$ has the same value on the constant pieces as $F$. This implies that \eqref{eq:all} actually holds for all $z' > z$. Therefore,
if $F$ is continuous at $z$ this implies $F(z) = G(z)$, and if $F$ jumps at $z$, we have $\lim_{z' \downarrow z} F(z'-) = F(z')$, so also in this case $F(z) = G(z)$.\\
The converse implication is easy to show.
\end{proof}
\begin{prop}\label{prop:PIT2}
Let the random CDF $F$ and the random variable $Y$ be defined on the same probability space, and suppose that
\[
\prob(F(Y) < \alpha) \le \alpha \le \mathbb{P}(F(Y-) \le \alpha), \quad \text{for all $\alpha \in (0,1)$,}
\]
holds. Then, (after possibly extending the probability space), there exists a random variable $\lambda$ on $[0,1]$ that may be dependent on $(F,Y)$ such that
\[
F(Y-) + \lambda (F(Y)-F(Y-))
\]
has a standard uniform distribution.
\end{prop}
\begin{proof}
The random variable $F(Y)$ is stochastically larger than a standard uniform random variable and the random variable $F(Y-)$ is stochastically smaller than a standard uniform random variable. Therefore, by Strassen's theorem, we can find a probability space and random variables $Z_1, Z_2, U$ such that
\[
Z_1 \le U \le Z_2 \; \text{almost surely}, \quad \text{and} \quad Z_1 \overset{d}{=} F(Y-), U \sim \mathrm{UNIF}(0,1), Z_2 \overset{d}{=} F(Y).
\]
For each $\omega \in \Omega$ such that $Z_1(\omega) \le U(\omega) \le Z_2(\omega)$, define $\lambda'(\omega)$ such that $U(\omega) = Z_1(\omega) + \lambda'(\omega)(Z_2(\omega)-Z_1(\omega))$, that is, if $Z_2(\omega) - Z_1(\omega) > 0$,
\[
\lambda'(\omega) = \frac{U(\omega)-Z_1(\omega)}{Z_2(\omega) - Z_1(\omega)} \in [0,1],
\]
and $\lambda'(\omega) = U(\omega)$ otherwise. Now, (after possibly extending the probability space), we can construct a random variable $\lambda$ on the original probability space such that $(F(Y-),F(Y),\lambda)$ has the same distribution as $(Z_1,Z_2,\lambda')$.
\end{proof}
Finally, we show that the distributional regression procedure introduced in Example \ref{ex:procedure1} is probabilistically calibrated.
\begin{prop}
\label{prop:proof_example_2.1}
Suppose that \(\X=\R^p\) and let \(\mu\in \M_1\) have support \(z_1=\left(x_1,y_1\right),\ldots,z_m=\left(x_m,y_m\right)\) and weights \(w_i=\mu(z_i),\ i=1,\ldots,m\), that is, \(\mu=\sum_{i=1}^m w_i\delta_{z_i}\).
Let \(\widehat{y}_1,\ldots,\widehat{y}_m\) be any regression fit of \(\mathbf{y}=\left(y_1,\ldots,y_m\right)\) on \(\mathbf{x}=\left(x_1,\dots,x_m\right)\) and let \(\epsilon_i=y_i-\widehat{y}_i\) be the residuals.
Define \(G[\mu,x_k](y)\) to be the weighted empirical distribution of the residuals centered at the regression fit, that is, for \(k=1,\ldots,m\),
\begin{equation*}
G[\mu,x_k](y)=\sum_{j=1}^m w_j\one\left\{\widehat{y}_k+\widehat{\varepsilon}_j\leq y\right\},\ y\in \R.
\end{equation*}
Then, the procedure \(G\) is probabilistically calibrated.
\end{prop}
\begin{proof}
We first focus on the case where all the weights are equal.
Fix \(a\in (0,1)\) and suppose that \(k/m< a\leq (k+1)/m\) for some integer \(k\in \{0,\ldots,m-1\}\).
We first prove the left inequality, namely
\begin{equation*}
\mu\big(G[\mu,X](Y)<a\big)\leq a.
\end{equation*}
Since \(G[\mu, X](Y)\) only takes values in the set \(\{i/m\mid 0\leq i\leq m\}\), the event \(\{G[\mu,X](Y)<a\}\) is equal to the event \(\{G[\mu,X](Y)\leq k/m\}\).
Similarly, since \(\mu\) takes values in the same set, the inequality we want to show is equivalent to
\begin{equation*}
\mu\left(G[\mu,X](Y)\leq \frac{k}{m} \right)\leq \frac{k}{m}.
\end{equation*}
Suppose that this inequality is not true.
Then, it holds that \(\mu(G[\mu,X](Y)\leq k/m)\geq (k+1)/m\), which is equivalent to
\begin{equation*}
\sum_{j=1}^m \one\{G[\mu,x_j](y_j)\leq k/m\}\geq k+1.
\end{equation*}
This means that there exist at least \(k+1\) indices \(i_1,\ldots,i_{k+1}\in \left\{1,\ldots,m\right\}\) such that
\begin{equation*}
G[\mu,x_{i_\ell}](y_{i_\ell})\leq k/m,\text{ for all } \ell\in \{1,\ldots,k+1\}.
\end{equation*}
The condition \(G[\mu,x_{i_\ell}](y_{i_\ell})\leq k/m\) can be rewritten as
\begin{align*}
\sum_{j=1}^m \one\{\widehat{y}_{i_\ell}+\widehat{\varepsilon}_j\leq y_{i_\ell}\}\leq k
&\Leftrightarrow \sum_{j=1}^m \one\{\widehat{\varepsilon}_j\leq \widehat{\varepsilon}_{i_\ell}\}\leq k\\
&\Leftrightarrow \sum_{j=1}^m \one\{\widehat{\varepsilon}_j>\widehat{\varepsilon}_{i_\ell}\}\geq m-k.
\end{align*}
This means that there exist at least \(m-k\) residuals that are strictly larger than \(\varepsilon_{i_\ell}\), and this is true for all \(\ell\in \{1,\ldots,k+1\}\).
Consider the set of indices
\begin{equation*}
\Big\{1\leq j\leq m\mid \widehat{\varepsilon}_j>\max\{\widehat{\varepsilon}_{i_1},\ldots,\widehat{\varepsilon}_{i_{k+1}}\}\Big\}.
\end{equation*}
By definition, this set is a subset of \(\{1,\ldots,m\}\backslash \{i_1,\ldots,i_{k+1}\}\), so it has at most \(m-k-1\) elements.
However, due to the above observation, this set must have at least \(m-k\) elements.
This leads to a contradiction.
We now need to show the right inequality, namely \(\alpha \leq \mu(G[\mu,X](Y-)\le \alpha)\).
Suppose that \(a\neq (k+1)/m\).
Since \(G\) and \(\mu\) take values in the set \(\{i/m\mid 0\leq i\leq m\}\), this inequality is equivalent to
\begin{equation*}
\mu\left(G\left[\mu,X\right]\left(Y-\right)\leq \frac{k}{m}\right)\geq \frac{k}{m}.
\end{equation*}
If \(a=(k+1)/m\), then the inequality is equivalent to
\begin{equation*}
\mu\left(G\left[\mu,X\right]\left(Y-\right)\leq \frac{k+1}{m}\right)\geq \frac{k+1}{m}.
\end{equation*}
The proof is exactly the same for both inequalities, so we only show that first one.
Suppose that it does not hold.
Then,
\begin{equation*}
\sum_{j=1}^m \one\{G\left[\mu, x_j\right]\left(y_j-\right)\leq k/m\}\leq k-1\Rightarrow \sum_{j=1}^m \one\{G\left[\mu, x_j\right]\left(y_j-\right)> k/m\}\geq m-k+1,
\end{equation*}
so there exists (at least) \(m-k+1\) indices \(i_1,\ldots,i_{m-k+1}\) such that
\begin{equation*}
G[\mu, x_{i_\ell}](y_{i_\ell}-)\geq \frac{k+1}{m},\text{ for all } \ell\in \left\{1,\ldots,m-k+1\right\}.
\end{equation*}
It holds that
\begin{equation*}
G[\mu, x_k](y-)=\frac{1}{m}\sum_{j=1}^m \one\{\widehat{y}_k+\widehat{\varepsilon}_j< y\},
\end{equation*}
so the above inequality can be written as
\begin{align*}
\sum_{j=1}^m \one\{\widehat{y}_{i_\ell}+\widehat{\varepsilon}_j<y_{i_\ell}\}\geq k+1
&\Leftrightarrow \sum_{j=1}^m \one\{\widehat{\varepsilon}_j<\widehat{\varepsilon}_{i_\ell}\}\geq k+1.
\end{align*}
This means that there are at least \(k+1\) residuals that are strictly smaller than \(\widehat{\varepsilon}_{i_\ell}\), and this holds for all \(\ell\in \{1,\ldots,m-k+1\}\).
Consider the set of indices
\begin{equation*}
\Big\{1\leq j\leq m\mid \widehat{\varepsilon}_j<\min\{\widehat{\varepsilon}_{i_1},\ldots,\widehat{\varepsilon}_{i_{m-k+1}}\}\Big\}.
\end{equation*}
By definition, this set is a subset of \(\{1,\ldots,m\}\backslash \{i_1,\ldots,i_{m-k+1}\}\), so it has at most \(k-1\) elements.
However, due to the above observation, this set must have at least \(k+1\) elements.
This leads to a contradiction.
This proof shows that we could have shown the stronger inequality
\begin{equation*}
\mu\left(G\left[\mu,X\right]\left(Y-\right)\leq \frac{k}{m}\right)\geq \frac{k+1}{m},
\end{equation*}
which covers both bounds mentioned in the beginning of the proof of the right-hand inequality.
Even without this stronger bound, it follows that \(G\) is probabilistically calibrated.
We can now use the above argument to prove probabilistic calibration for any set of rational weights.
Suppose that for each \(i\in\left\{0,\ldots,m\right\}\) it holds that \(w_i=s_i/t_i\), where \(s_i,t_i\) are positive integers with \(s_i\leq t_i\).
If \(T\) is the least common multiple of \(t_1,\ldots,t_m\), then, for any \(k\in \left\{1,\ldots,m\right\}\),
\begin{equation*}
G[\mu,x_k](y)=\frac{1}{T}\sum_{j=1}^m \widetilde{s}_j \one\{\widehat{y}_k+\widehat{\varepsilon}_j\leq y\},
\end{equation*}
where \(\widetilde{s}_1,\ldots,\widetilde{s}_m\) are positive integers.
By decomposing \(\widetilde{s}_j \one\{\widehat{y}_k+\widehat{\varepsilon}_j\leq y\}\) into \(\widetilde{s}_j\) equal terms, we can write \(G\) as a sum of terms with equal weights.
This shows that \(G\) is probabilistically calibrated.
The original argument for equal weights does not assume that \(\left(x_1,y_1\right),\ldots,\left(x_m,y_m\right)\) are distinct, so the fact that some terms of the sum are identical is not a problem.
Using a continuity argument, we can extend this to any set of non-negative weights.
Indeed, given a set of weights \(\{w_1,\ldots,w_m\}\) and an arbitrary \(\varepsilon>0\), we can define a measure \(\widetilde{\mu}=\sum_{i=1}^m \widetilde{w}_i\delta_{z_i}\)
with rational weights, such that
\begin{equation*}
\Big|G[\mu,x_k](y)-G[\widetilde{\mu},x_k](y)\Big|<\varepsilon,\ \Big|G[\mu,x_k-](y)-G[\widetilde{\mu},x_k-](y)\Big|<\varepsilon
\end{equation*}
and \(\left|\mu(A)-\widetilde{\mu}(A)\right|< \varepsilon\) for all \(k\in \{1,\ldots,m\}\), \(y\in \R\) and all \(A\in \supp(\mu)=\supp(\widetilde{\mu})\).
For this measure it holds that
\begin{equation*}
\widetilde{\mu}\left(G[\widetilde{\mu},X](Y\right)<a)\leq a\leq \widetilde{\mu}\left(G[\widetilde{\mu},X](Y-)\leq a\right)
\end{equation*}for all \(a\in (0,1)\),
so \(\mu\left(G[\mu,X](Y)<a-\varepsilon\right)\leq a+\varepsilon\)
and \(a-\varepsilon \leq \mu\left(G[\mu,X](Y-)\leq a+\varepsilon\right).\)
Measure continuity yields that
\begin{equation*}
\mu\left(G[\mu,X](Y)<a\right)\leq a\leq \mu\left(G[\mu,X](Y-\right)\leq a),
\end{equation*}
which finishes the proof.
\end{proof}
\section{Additional simulation study results}\label{app:sim}
The simulation study in Section \ref{sec:sims} is based on a training data size of $n = 2000$. Figures \ref{fig:simstudy_app} and \ref{fig:simstudy_le_app} display how the results change as the sample size used to estimate the three conformal predictive systems is changed.
\begin{figure}
\centering
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_100.png}
\caption{$n = 100$}
\end{subfigure}
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_500.png}
\caption{$n = 500$}
\end{subfigure}
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_1000.png}
\caption{$n = 1000$}
\end{subfigure}
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_2000.png}
\caption{$n = 2000$}
\end{subfigure}
\caption{p-p plots of PIT values for the least squares prediction machine (LSPM, first row), conformal IDR (CIDR, second row), and the conformal binning (CB, thrid row) approach when trained using $n = 100, 500, 1000$ and 2000 independent draws from (\ref{eq:simstudy_data}). A 90\% consistency interval is shown around the diagonal in light blue. Average CRPS values for each method are also displayed.}
\label{fig:simstudy_app}
\end{figure}
\begin{figure}
\centering
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_100_le.png}
\caption{$n = 100$}
\end{subfigure}
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_500_le.png}
\caption{$n = 500$}
\end{subfigure}
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_1000_le.png}
\caption{$n = 1000$}
\end{subfigure}
\begin{subfigure}{0.24\textwidth}
\includegraphics[width=\linewidth]{Figures/simstudy_2000_le.png}
\caption{$n = 2000$}
\end{subfigure}
\caption{As in Figure \ref{fig:simstudy_app} but with data generated as at \eqref{eq:simstudy_data_less}.}
\label{fig:simstudy_le_app}
\end{figure}
\end{document}
%%%%% SCRIPT CHARACTERS %%%%%%
\newcommand{\A}{\mathcal{A}} % sigma-lattice
\newcommand{\B}{\mathcal{B}} % Borel sigma-algebra
\newcommand{\F}{\mathcal{F}} % sigma-algebra
\newcommand{\C}{\mathcal{C}} % sigma-lattice
\newcommand{\G}{\mathcal{G}} % distribution class from ICL
\renewcommand{\H}{\mathcal{H}} % Hypothesis
\newcommand{\LL}{\mathscr{L}} % sigma-lattice
\renewcommand{\L}{\mathcal{L}} % law
\newcommand{\M}{\mathcal{M}} % Modelset
\renewcommand{\P}{\mathcal{P}}
\renewcommand{\S}{\mathcal{S}}
\newcommand{\X}{\mathcal{X}} % set
\newcommand{\BR}{\mathcal{B}(\mathbb{R})} % Borel-sigma-algebra
\newcommand{\PR}{\mathcal{P}(\mathbb{R})} % space of all probability measures on R
%%%%% DOUBLE CHARACTERS %%%%%
\newcommand{\prob}{\mathbb{P}} % probability measure
\newcommand{\E}{\mathbb{E}} % expectation
\newcommand{\R}{\mathbb{R}} % reals
\newcommand{\Q}{\mathbb{Q}} % probabilty measure
\newcommand{\N}{\mathbb{N}} % natural numbers
\newcommand{\diagM}{\R_{0}^{m \times m}}
\newcommand{\probM}{\mathfrak{B}(\Omega)}
\newcommand{\BO}{\mathfrak{B}(\Omega)}
\newcommand{\one}{\mathbbm{1}} % indicator
%%%%% BOLD CHARACTERS %%%%%
\newcommand{\bA}{\boldsymbol{A}}
\newcommand{\bB}{\boldsymbol{B}}
\newcommand{\bC}{\boldsymbol{C}}
\newcommand{\bDelta}{\boldsymbol{\Delta}}
\newcommand{\bE}{\boldsymbol{E}}
\newcommand{\bF}{\boldsymbol{F}} % IDR estimator
\newcommand{\bL}{\boldsymbol{L}}
\newcommand{\bS}{\boldsymbol{S}}
\newcommand{\bV}{\boldsymbol{V}}
\newcommand{\bX}{\boldsymbol{X}}
\newcommand{\ba}{\boldsymbol{a}}
\newcommand{\bd}{\boldsymbol{d}}
\newcommand{\bc}{\boldsymbol{c}}
\newcommand{\bm}{\boldsymbol{m}}
\newcommand{\bmu}{\boldsymbol{\mu}} % Matrix and vector mu
\newcommand{\bx}{\boldsymbol{x}}
\newcommand{\by}{\boldsymbol{y}}
\newcommand{\bzero}{\boldsymbol{0}}
%%%%% MISCELLANEOUS %%%%%
\newcommand{\tldmu}{\widetilde{\mu}}
\newcommand{\tldw}{\widetilde{w}}
\newcommand{\hF}{\widehat{F}}
\newcommand{\bhF}{\widehat{\boldsymbol{F}}}
\newcommand{\dist}{\mathrm{dist}}
\newcommand{\leHR}{\le_{\mathrm{hr}}}
\newcommand{\bbS}{\mathbb{bbS}}
\newcommand{\diff}{\,\mathrm{d}} % differentials
\newcommand{\ph}{\varphi}
\renewcommand{\O}{\mathsf{O}}
\newcommand{\st}{\leq_{st}} % stochastic order
\newcommand{\w}{\boldsymbol{w}} % weights
\newcommand{\eqand}{\quad \textrm{and}\quad } % eqand
\newcommand{\myS}{{\rm S}} % generic scoring rule
\newcommand{\QS}{\textrm{QS}} % quantile score
\newcommand{\BS}{\textrm{BS}} % brier score
\newcommand{\var}{\textrm{var}} % variance
\newcommand{\crps}{\textrm{CRPS}} % variance
\newcommand{\s}{\sigma} % sigma
\newcommand{\hsp}{\hspace{0.2mm}} % small horizontal distance
\newcommand*{\Swarrow}{\rotatebox[origin=c]{-45}{\(\Downarrow\)}} % southwest arrow
\newcommand*{\Swhookarrow}{\rotatebox[origin=c]{45}{\(\hookleftarrow\)}} % southwest hook arrow
\newcommand*{\Searrow}{\rotatebox[origin=c]{45}{\(\Downarrow\)}} % southeast arrow
\newcommand*{\Sehookarrow}{\rotatebox[origin=c]{135}{\(\hookleftarrow\)}} % southeast hook arrow
%%%%% OPERATORS %%%%%
\DeclareMathOperator*{\argmax}{arg\,max} % argmax
\DeclareMathOperator*{\argmin}{arg\,min} %
\DeclarePairedDelimiter{\norm}{\lVert}{\rVert} % define a "\norm" macro
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil} % define a "\ceil" macro
\DeclarePairedDelimiter{\pare}{(}{)} % define a "\parenth" macro
\newcommand{\VEC}{\operatorname{vec}}
\newcommand{\VaR}{\operatorname{VaR}}
\newcommand{\supp}{\operatorname{supp}}
\newcommand{\conv}{\operatorname{conv}}
\newcommand{\ES}{\operatorname{ES}}
\newcommand{\eff}{\operatorname{eff}}
\newcommand{\interior}{\operatorname{int}}
\newcommand{\mat}{\operatorname{mat}}
\newcommand{\rank}{\operatorname{rank}}
\newcommand{\im}{\operatorname{im}}
%\renewcommand{\span}{\operatorname{span}}
\begin{thebibliography}{}
\bibitem[\protect\citeauthoryear{Abdar, Pourpanah, Hussain, Rezazadegan, Liu,
Ghavamzadeh, Fieguth, Cao, Khosravi, Acharya, Makarenkov, and
Nahavandi}{Abdar et~al.}{2021}]{AbdarPourpanahETAL2021}
Abdar, M., F.~Pourpanah, S.~Hussain, D.~Rezazadegan, L.~Liu, M.~Ghavamzadeh,
P.~Fieguth, X.~Cao, A.~Khosravi, U.~R. Acharya, V.~Makarenkov, and
S.~Nahavandi (2021).
\newblock A review of uncertainty quantification in deep learning:
{T}echniques, applications and challenges.
\newblock {\em Information Fusion\/}~{\em 76}, 243--297.
\bibitem[\protect\citeauthoryear{Allen, Koh, Segers, and Ziegel}{Allen
et~al.}{2024}]{AllenEtAl2024}
Allen, S., J.~Koh, J.~Segers, and J.~Ziegel (2024).
\newblock Tail calibration of probabilistic forecasts.
\newblock {\em Preprint, \url{arXiv:2407.03167}\/}.
\bibitem[\protect\citeauthoryear{Angelopoulos, Barber, and Bates}{Angelopoulos
et~al.}{2024}]{AngelopoulosBarberETAL2024}
Angelopoulos, A.~N., R.~F. Barber, and S.~Bates (2024).
\newblock {\em Theoretical Foundations of Conformal Prediction}.
\newblock Cambridge University Press.
\newblock To appear.
\bibitem[\protect\citeauthoryear{Arnold, Walz, Ziegel, and Gneiting}{Arnold
et~al.}{2024}]{ArnoldEtAl2024}
Arnold, S., E.-M. Walz, J.~Ziegel, and T.~Gneiting (2024).
\newblock Decompositions of the mean continuous ranked probability score.
\newblock {\em Preprint, \url{arXiv:2311.14122}\/}.
\bibitem[\protect\citeauthoryear{Arnold and Ziegel}{Arnold and
Ziegel}{2023}]{ArnoldZiegel2023}
Arnold, S. and J.~Ziegel (2023).
\newblock Isotonic conditional laws.
\newblock {\em Preprint, \url{arXiv:2307.09032}\/}.
\bibitem[\protect\citeauthoryear{Balabdaoui, Henzi, and Looser}{Balabdaoui
et~al.}{2024}]{BalabdaouiHenziETAL2024}
Balabdaoui, F., A.~Henzi, and L.~Looser (2024).
\newblock Estimation and convergence rates in the distributional single index
model.
\newblock {\em Statistica Neerlandica\/}~{\em 78}, 636--663.
\bibitem[\protect\citeauthoryear{Barber, Cand\`es, Ramdas, and
Tibshirani}{Barber et~al.}{2021}]{BarberCandesETAL2021}
Barber, R.~F., E.~J. Cand\`es, A.~Ramdas, and R.~J. Tibshirani (2021).
\newblock The limits of distribution-free conditional predictive inference.
\newblock {\em Information and Inference: A Journal of the IMA\/}~{\em 10},
455--482.
\bibitem[\protect\citeauthoryear{Barber, Candes, Ramdas, and Tibshirani}{Barber
et~al.}{2023}]{BarberCandesETAL2022}
Barber, R.~F., E.~J. Candes, A.~Ramdas, and R.~J. Tibshirani (2023).
\newblock Conformal prediction beyond exchangeability.
\newblock {\em The Annals of Statistics\/}~{\em 51}, 816--845.
\bibitem[\protect\citeauthoryear{Bengs, H{\"u}llermeier, and Waegeman}{Bengs
et~al.}{2022}]{BengsHullermeierETAL2022}
Bengs, V., E.~H{\"u}llermeier, and W.~Waegeman (2022).
\newblock Pitfalls of epistemic uncertainty quantification through loss
minimisation.
\newblock {\em Advances in Neural Information Processing Systems\/}~{\em 35},
29205--29216.
\bibitem[\protect\citeauthoryear{Bengs, H\"ullermeier, and Waegeman}{Bengs
et~al.}{2023}]{BengsHullermeierETAL2023}
Bengs, V., E.~H\"ullermeier, and W.~Waegeman (2023).
\newblock On second-order scoring rules for epistemic uncertainty
quantification.
\newblock {\em Preprint, \url{arXiv:2301.12736}\/}.
\bibitem[\protect\citeauthoryear{Bostr{\"o}m, Johansson, and
L{\"o}fstr{\"o}m}{Bostr{\"o}m et~al.}{2021}]{BostromEtAl2021}
Bostr{\"o}m, H., U.~Johansson, and T.~L{\"o}fstr{\"o}m (2021).
\newblock Mondrian conformal predictive distributions.
\newblock In {\em Conformal and Probabilistic Prediction and Applications},
pp.\ 24--38. Proceedings of Machine Learning Research.
\bibitem[\protect\citeauthoryear{Chambers and Lambert}{Chambers and
Lambert}{2021}]{ChambersLambert2021}
Chambers, C.~P. and N.~S. Lambert (2021).
\newblock Dynamic belief elicitation.
\newblock {\em Econometrica\/}~{\em 89}, 375--414.
\bibitem[\protect\citeauthoryear{Chernozhukov, W\"uthrich, and
Zhu}{Chernozhukov et~al.}{2021}]{ChernozhukovWuthrichETAL2021}
Chernozhukov, V., K.~W\"uthrich, and Y.~Zhu (2021).
\newblock Distributional conformal prediction.
\newblock {\em Proceedings of the National Academy of Sciences\/}~{\em 118},
e2107794118.
\bibitem[\protect\citeauthoryear{Cont}{Cont}{2006}]{Cont2006}
Cont, R. (2006).
\newblock Model uncertainty and its impact on the pricing of derivative
instruments.
\newblock {\em Mathematical Finance\/}~{\em 16}, 519--547.
\bibitem[\protect\citeauthoryear{Dawid}{Dawid}{1984}]{DawidEtAl1984}
Dawid, A.~P. (1984).
\newblock Statistical theory: The prequential approach.
\newblock {\em Journal of the Royal Statistical Society: Series A\/}~{\em 147},
278--290.
\bibitem[\protect\citeauthoryear{Demaeyer, Bhend, Lerch, Primo,
Van~Schaeybroeck, Atencia, Ben~Bouall{\`e}gue, Chen, Dabernig, Evans,
et~al.}{Demaeyer et~al.}{2023}]{DemaeyerEtAl2023}
Demaeyer, J., J.~Bhend, S.~Lerch, C.~Primo, B.~Van~Schaeybroeck, A.~Atencia,
Z.~Ben~Bouall{\`e}gue, J.~Chen, M.~Dabernig, G.~Evans, et~al. (2023).
\newblock The {EUPPBench} postprocessing benchmark dataset v1. 0.
\newblock {\em Earth System Science Data\/}~{\em 15}, 2635--2653.
\bibitem[\protect\citeauthoryear{Diebold, Gunther, and Tay}{Diebold
et~al.}{1998}]{DieboldEtAl1998}
Diebold, F.~X., T.~A. Gunther, and A.~S. Tay (1998).
\newblock Evaluating density forecasts with applications to financial risk
management.
\newblock {\em International Economic Review\/}~{\em 39}, 863--883.
\bibitem[\protect\citeauthoryear{Dillenberger, Lleras, Sadowski, and
Takeoka}{Dillenberger et~al.}{2014}]{DillenbergLlerasETAL2014}
Dillenberger, D., J.~S. Lleras, P.~Sadowski, and N.~Takeoka (2014).
\newblock A theory of subjective learning.
\newblock {\em Journal of Economic Theory\/}~{\em 153}, 287--312.
\bibitem[\protect\citeauthoryear{Dimitriadis, D\"umbgen, Henzi, Puke, and
Ziegel}{Dimitriadis et~al.}{2023}]{DimitriadisDumbgenETAL2023}
Dimitriadis, T., L.~D\"umbgen, A.~Henzi, M.~Puke, and J.~Ziegel (2023).
\newblock Honest calibration assessment for binary outcome predictions.
\newblock {\em Biometrika\/}~{\em 110}, 663--680.
\bibitem[\protect\citeauthoryear{Dimitriadis, Gneiting, and Jordan}{Dimitriadis
et~al.}{2021}]{DimitriadisGneitingETAL2021}
Dimitriadis, T., T.~Gneiting, and A.~I. Jordan (2021).
\newblock Stable reliability diagrams for probabilistic classifiers.
\newblock {\em Proceedings of the National Academy of Sciences\/}~{\em 118},
e2016191118.
\bibitem[\protect\citeauthoryear{Eckel, Allen, and Sittel}{Eckel
et~al.}{2012}]{EckelEtAl2012}
Eckel, F.~A., M.~S. Allen, and M.~C. Sittel (2012).
\newblock Estimation of ambiguity in ensemble forecasts.
\newblock {\em Weather and Forecasting\/}~{\em 27}, 50--69.
\bibitem[\protect\citeauthoryear{{El Barmi} and Mukerjee}{{El Barmi} and
Mukerjee}{2005}]{El-BarmiMukerjee2005}
{El Barmi}, H. and H.~Mukerjee (2005).
\newblock Inferences under a stochastic ordering constraint.
\newblock {\em Journal of the American Statistical Association\/}~{\em 100},
252--261.
\bibitem[\protect\citeauthoryear{Fontana, Zeni, and Vantini}{Fontana
et~al.}{2023}]{FontanaEtAl2023}
Fontana, M., G.~Zeni, and S.~Vantini (2023).
\newblock Conformal prediction: A unified review of theory and new challenges.
\newblock {\em Bernoulli\/}~{\em 29}, 1--23.
\bibitem[\protect\citeauthoryear{Gavrilopoulos and Ziegel}{Gavrilopoulos and
Ziegel}{2025}]{GavrilopoulosZiegel2025}
Gavrilopoulos, G. and J.~Ziegel (2025).
\newblock Consistency of isotonic distributional regression under model
misspecification.
\newblock {\em Preprint in preparation, available upon request\/}.
\bibitem[\protect\citeauthoryear{Gneiting, Balabdaoui, and Raftery}{Gneiting
et~al.}{2007}]{GneitingEtAl2007}
Gneiting, T., F.~Balabdaoui, and A.~E. Raftery (2007).
\newblock Probabilistic forecasts, calibration and sharpness.
\newblock {\em Journal of the Royal Statistical Society Series B\/}~{\em 69},
243--268.
\bibitem[\protect\citeauthoryear{Gneiting and Katzfuss}{Gneiting and
Katzfuss}{2014}]{GneitingKatzfuss2014}
Gneiting, T. and M.~Katzfuss (2014).
\newblock Probabilistic forecasting.
\newblock {\em Annual Review of Statistics and Its Application\/}~{\em 1},
125--151.
\bibitem[\protect\citeauthoryear{Gneiting and Raftery}{Gneiting and
Raftery}{2007}]{GneitingRaftery2007}
Gneiting, T. and A.~E. Raftery (2007).
\newblock Strictly proper scoring rules, prediction, and estimation.
\newblock {\em Journal of the American Statistical Association\/}~{\em 102},
359--378.
\bibitem[\protect\citeauthoryear{Gneiting and Ranjan}{Gneiting and
Ranjan}{2013}]{GneitingRanjan2013}
Gneiting, T. and R.~Ranjan (2013).
\newblock Combining predictive distributions.
\newblock {\em Electronic Journal of Statistics\/}~{\em 7}, 1747--1782.
\bibitem[\protect\citeauthoryear{Gneiting and Resin}{Gneiting and
Resin}{2023}]{GneitingResin2023}
Gneiting, T. and J.~Resin (2023).
\newblock Regression diagnostics meets forecast evaluation: Conditional
calibration, reliability diagrams, and coefficient of determination.
\newblock {\em Electronic Journal of Statistics\/}~{\em 17}, 3226--3286.
\bibitem[\protect\citeauthoryear{Groeneboom}{Groeneboom}{2011}]{Groeneboom2011}
Groeneboom, P. (2011).
\newblock Vertices of the least concave majorant of brownian motion with
parabolic drift.
\newblock {\em Electronic Journal of Probability\/}~{\em 16}, 2234--2258.
\bibitem[\protect\citeauthoryear{Hamill and Whitaker}{Hamill and
Whitaker}{2006}]{HamillWhitaker2006}
Hamill, T.~M. and J.~S. Whitaker (2006).
\newblock Probabilistic quantitative precipitation forecasts based on
reforecast analogs: Theory and application.
\newblock {\em Monthly Weather Review\/}~{\em 134}, 3209--3229.
\bibitem[\protect\citeauthoryear{Henzi, Kleger, and Ziegel}{Henzi
et~al.}{2023}]{HenziKlegerETAL2023}
Henzi, A., G.-R. Kleger, and J.~F. Ziegel (2023).
\newblock Distributional (single) index models.
\newblock {\em Journal of the American Statistical Association\/}~{\em 118},
489--503.
\bibitem[\protect\citeauthoryear{Henzi, Ziegel, and Gneiting}{Henzi
et~al.}{2021}]{HenziZiegelETAL2021}
Henzi, A., J.~F. Ziegel, and T.~Gneiting (2021).
\newblock Isotonic distributional regression.
\newblock {\em Journal of the Royal Statistical Society: Series B\/}~{\em 85},
963--993.
\bibitem[\protect\citeauthoryear{Kendall and Gal}{Kendall and
Gal}{2017}]{KendallGal2017}
Kendall, A. and Y.~Gal (2017).
\newblock What uncertainties do we need in {Bayesian} deep learning for
computer vision?
\newblock {\em Advances in Neural Information Processing Systems\/}~{\em 30}.
\bibitem[\protect\citeauthoryear{Lei and Wasserman}{Lei and
Wasserman}{2014}]{LeiWasserman2014}
Lei, J. and L.~Wasserman (2014).
\newblock Distribution-free prediction bands for non-parametric regression.
\newblock {\em Journal of the Royal Statistical Society: Series B\/}~{\em 76},
71--96.
\bibitem[\protect\citeauthoryear{L\"ofstr\"om, L\"ofstr\"om, and
Johansson}{L\"ofstr\"om et~al.}{2024}]{LofstromLofstromETAL2024}
L\"ofstr\"om, T., H.~L\"ofstr\"om, and U.~Johansson (2024).
\newblock Calibrated explanations for multi-class.
\newblock In {\em Proceedings of Machine Learning Research}, Volume 230 of {\em
2024 Conformal and Probabilistic Prediction with Applications}, pp.\ 1--20.
\bibitem[\protect\citeauthoryear{Meinert, Gawlikowski, and Lavin}{Meinert
et~al.}{2022}]{MeinertGawlikowskiETAL2022}
Meinert, N., J.~Gawlikowski, and A.~Lavin (2022).
\newblock The unreasonable effectiveness of deep evidential regression.
\newblock {\em Preprint, \url{arXiv:2205.10060}\/}.
\bibitem[\protect\citeauthoryear{Mösching and Dümbgen}{Mösching and
Dümbgen}{2020}]{Mösching&Dümbgen}
Mösching, A. and L.~Dümbgen (2020, 01).
\newblock Monotone least squares and isotonic quantiles.
\newblock {\em Electronic Journal of Statistics\/}~{\em 14}, 24--49.
\bibitem[\protect\citeauthoryear{Nouretdinov, Volkhonskiy, Lim, Toccaceli, and
Gammerman}{Nouretdinov et~al.}{2018}]{NouretdinovVolkhonskiyETAL2018}
Nouretdinov, I., D.~Volkhonskiy, P.~Lim, P.~Toccaceli, and A.~Gammerman (2018).
\newblock Inductive {V}enn-{A}bers predictive distributions.
\newblock {\em Proceedings of Machine Learning Research\/}~{\em 91}, 1--22.
\bibitem[\protect\citeauthoryear{Seo}{Seo}{2009}]{Seo2009}
Seo, K. (2009).
\newblock Ambiguity and second-order belief.
\newblock {\em Econometrica\/}~{\em 77}, 1575--1605.
\bibitem[\protect\citeauthoryear{Takeoka}{Takeoka}{2007}]{Takeoka2007}
Takeoka, N. (2007).
\newblock Subjective probability over a subjective decision tree.
\newblock {\em Journal of Economic Theory\/}~{\em 136}, 536--571.
\bibitem[\protect\citeauthoryear{Tibshirani, Barber, Cand\`es, and
Ramdas}{Tibshirani et~al.}{2019}]{TibshiraniBarberETAL2019}
Tibshirani, R.~J., R.~F. Barber, E.~J. Cand\`es, and A.~Ramdas (2019).
\newblock Conformal prediction under covariate shift.
\newblock {\em Advances in Neural Information Processing Systems\/}~{\em 32}.
\bibitem[\protect\citeauthoryear{Tsyplakov}{Tsyplakov}{2011}]{Tsyplakov2011}
Tsyplakov, A. (2011).
\newblock Evaluating density forecasts: a comment.
\newblock Available at SSRN 1907799,
\url{https://dx.doi.org/10.2139/ssrn.1907799}.
\bibitem[\protect\citeauthoryear{Vovk}{Vovk}{2022}]{Vovk2022}
Vovk, V. (2022).
\newblock Universal predictive systems.
\newblock {\em Pattern Recognition\/}~{\em 126}, 108536.
\bibitem[\protect\citeauthoryear{Vovk, Gammerman, and Shafer}{Vovk
et~al.}{2022}]{VovkGammermanETAL2022}
Vovk, V., A.~Gammerman, and G.~Shafer (2022).
\newblock {\em Algorithmic Learning in a Random World\/} (2nd ed.).
\newblock Springer.
\bibitem[\protect\citeauthoryear{Vovk, Nouretdinov, Manokhin, and
Gammerman}{Vovk et~al.}{2018a}]{VovkEtAl2018kern}
Vovk, V., I.~Nouretdinov, V.~Manokhin, and A.~Gammerman (2018a).
\newblock Conformal predictive distributions with kernels.
\newblock In {\em Braverman Readings in Machine Learning. Key Ideas from
Inception to Current State: International Conference Commemorating the 40th
Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30,
2017, Invited Talks}, pp.\ 103--121. Springer.
\bibitem[\protect\citeauthoryear{Vovk, Nouretdinov, Manokhin, and
Gammerman}{Vovk et~al.}{2018b}]{VovkEtAl2018}
Vovk, V., I.~Nouretdinov, V.~Manokhin, and A.~Gammerman (2018b).
\newblock Cross-conformal predictive distributions.
\newblock In {\em Conformal and Probabilistic Prediction and Applications},
pp.\ 37--51. Proceedings of Machine Learning Research.
\bibitem[\protect\citeauthoryear{Vovk, Petej, and Fedorova}{Vovk
et~al.}{2015}]{VovkPetejETAL2015}
Vovk, V., I.~Petej, and V.~Fedorova (2015).
\newblock Large-scale probabilistic predictors with and without guarantees of
validity.
\newblock In {\em Advances in Neural Information Processing Systems},
Volume~28.
\bibitem[\protect\citeauthoryear{Vovk, Petej, Toccaceli, Gammerman, Ahlberg,
and Carlsson}{Vovk et~al.}{2020}]{VovkEtAl2020}
Vovk, V., I.~Petej, P.~Toccaceli, A.~Gammerman, E.~Ahlberg, and L.~Carlsson
(2020).
\newblock Conformal calibration.
\newblock In {\em Conformal and Probabilistic Prediction and Applications},
pp.\ 84--99. Proceedings of Machine Learning Research.
\bibitem[\protect\citeauthoryear{Vovk, Shen, Manokhin, and Xie}{Vovk
et~al.}{2017}]{VovkEtAl2017}
Vovk, V., J.~Shen, V.~Manokhin, and M.-g. Xie (2017).
\newblock Nonparametric predictive distributions based on conformal prediction.
\newblock In {\em Conformal and Probabilistic Prediction and Applications},
pp.\ 82--102. Proceedings of Machine Learning Research.
\bibitem[\protect\citeauthoryear{Walz, Henzi, Ziegel, and Gneiting}{Walz
et~al.}{2024}]{WalzEtAl2024}
Walz, E.-M., A.~Henzi, J.~Ziegel, and T.~Gneiting (2024).
\newblock Easy uncertainty quantification ({EasyUQ}): Generating predictive
distributions from single-valued model output.
\newblock {\em Siam Review\/}~{\em 66}, 91--122.
\bibitem[\protect\citeauthoryear{Yang and Barber}{Yang and
Barber}{2019}]{YangBarber2019}
Yang, F. and R.~F. Barber (2019).
\newblock Contraction and uniform convergence of isotonic regression.
\newblock {\em Electronic Journal of Statistics\/}~{\em 13}, 646--677.
\bibitem[\protect\citeauthoryear{Zadrozny and Elkan}{Zadrozny and
Elkan}{2002}]{ZadroznyElkan2002}
Zadrozny, B. and C.~Elkan (2002).
\newblock Transforming classifier scores into accurate multiclass probability
estimates.
\newblock In {\em Proceedings of the eighth ACM SIGKDD international conference
on Knowledge discovery and data mining}, pp.\ 694--699.
\end{thebibliography}