Saved in:
Bibliographic Details
Main Authors: Boushehrian, Arefe, Badri, Mohammad Reza, Akbari, Sina, Kiyavash, Negar
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2604.12802
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911592307752960
author Boushehrian, Arefe
Badri, Mohammad Reza
Akbari, Sina
Kiyavash, Negar
author_facet Boushehrian, Arefe
Badri, Mohammad Reza
Akbari, Sina
Kiyavash, Negar
contents Bounding causal effects analytically, rather than numerically, is appealing for its interpretability and conceptual clarity. Existing sharp methods rely on optimization-based approaches such as the Balke-Pearl framework, whose computational complexity grows rapidly. An alternative line of work derives bounds heuristically using probability laws and generic inequalities, and some recent papers have claimed or conjectured that this approach can yield sharp analytical bounds with substantially lower complexity. In this paper, we show that this perceived advantage is illusory. In particular, in a discrete instrumental variable setting, we show that any sharp analytical bound for the average treatment effect must be expressible as a maximum (minimum) over a collection of linear terms whose cardinality grows exponentially in the number of values taken by the outcome. In parallel, we show that the number of instrumental variable inequalities itself also grows exponentially. Consequently, bounds and inequalities expressed using only polynomially many such terms cannot be sharp. As a constructive complement, the paper is accompanied by codes implemented in python and R to derive sharp analytical bounds and sharp inequalities with optimal efficiency, matching the lower bounds proven in this paper. These codes are available online.
format Preprint
id arxiv_https___arxiv_org_abs_2604_12802
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Fundamental Limits and Optimal Methods for Sharp Analytical Causal Bounds in Instrumental Variable Models
Boushehrian, Arefe
Badri, Mohammad Reza
Akbari, Sina
Kiyavash, Negar
Methodology
Bounding causal effects analytically, rather than numerically, is appealing for its interpretability and conceptual clarity. Existing sharp methods rely on optimization-based approaches such as the Balke-Pearl framework, whose computational complexity grows rapidly. An alternative line of work derives bounds heuristically using probability laws and generic inequalities, and some recent papers have claimed or conjectured that this approach can yield sharp analytical bounds with substantially lower complexity. In this paper, we show that this perceived advantage is illusory. In particular, in a discrete instrumental variable setting, we show that any sharp analytical bound for the average treatment effect must be expressible as a maximum (minimum) over a collection of linear terms whose cardinality grows exponentially in the number of values taken by the outcome. In parallel, we show that the number of instrumental variable inequalities itself also grows exponentially. Consequently, bounds and inequalities expressed using only polynomially many such terms cannot be sharp. As a constructive complement, the paper is accompanied by codes implemented in python and R to derive sharp analytical bounds and sharp inequalities with optimal efficiency, matching the lower bounds proven in this paper. These codes are available online.
title Fundamental Limits and Optimal Methods for Sharp Analytical Causal Bounds in Instrumental Variable Models
topic Methodology
url https://arxiv.org/abs/2604.12802