Можно ли записать уравнение переменной инструмента в виде ориентированного ациклического графа (DAG)?

15

Направленные ациклические графы (DAG) являются эффективными визуальными представлениями качественных причинных предположений в статистических моделях, но могут ли они использоваться для представления регулярного уравнения переменной инструмента (или других уравнений)? Если так, то как? Если нет, то почему?

Тарьей В. Хавнераас
источник

Ответы:

11

Да.

Например , в приведенном ниже DAG, инструментальная переменная вызывает , в то время как эффект на поражен неизмеренные переменной .ZXИксОU

Модель инструментальных переменных для этой группы DAG будет заключаться в оценке причинного влияния на с использованием , где .ИксОЕ(О|Икс^)Х = Е ( Х | Z )Икс^знак равноЕ(Икс|Z)

Эта оценка является объективной причинно-следственной оценкой, если:

  1. ZX должен быть связан с . Редактировать: И (как в приведенном выше DAG) сама эта ассоциация должна быть безосновательной (см. Imbens ).Икс

  2. ZO X должен причинно влиять на только черезО Икс

  3. Там не должно быть никаких предшествующих причин как и .ОZ

  4. Эффект от на должен быть однородным. Это предположение / требование имеет две формы, слабую и сильную :ИксО

    • Слабая однородность влияния на : The Эффект от на не меняется по уровням (т.е. не может изменять эффект X на O ).ИксОX O Z ZИксОZZИксО
    • Сильная однородность влияния Икс на О : влияние Икс на О постоянно для всех людей (или независимо от того, какая у вас единица анализа).

Первые три предположения представлены в DAG. Однако последнее предположение не представлено в DAG.

Эрнан, М. А. и Робинс, JM (2019). Причинный вывод . Глава 16. Инструментальная оценка переменных. Чепмен и Холл / CRC.

Alexis
источник
2
ATE - это средний лечебный эффект, который влияет на случайного человека в популяции. IV с допущением монотонности (или без отклонений) восстанавливает только локальный средний эффект лечения для людей, которые выполняют назначение, который обычно отличается от популяции ATE, если есть какая-либо неоднородность, но часто более интересен с точки зрения политики.
Дмитрий Владимирович Мастеров
1
@JulianSchuessler Когда опция политики состоит в перемещении инструмента, LATE / CATE - правильный эффект. Например, если полис является налоговым кредитом для солнечных батарей, то влияние для тех, кто устанавливает только с кредитом на месте, является соответствующим. Для политики нас часто интересует предельный участник.
Дмитрий Владимирович Мастеров
1
Почему достаточно, чтобы Z ассоциировался только с X (критерий 1)? Достаточно ли того, что Z не причинно влияет на X, а коррелирует с X через некоторую неизмеренную переменную U? Если так, то почему?
Элиас
1
@ Алексис Спасибо. Я проверил рис. 16.3 и, интуитивно, обнаружил, что инструмент должен быть действительным в этом случае (доказывают ли они это? Я не читал книгу). Однако предположим, что существует неизмеренный confounder , который влияет на Z и A . Тогда Z все равно будет коррелировать (ассоциироваться) с A - но будет ли оно действительным? Нет, согласно Imbens (стр. 40, второе ключевое предположение, 2019 г.): arxiv.org/pdf/1907.07271.pdf (также см. Рис. 9c-9d). Более того, условие не поддается проверке, поскольку нам нужно причинно-следственная связь, чтобы сказать, что V на самом деле не является потенциальным нарушителем. ВZAZAВ
Элиас
1
@ Алексис Я отмечаю, что, хотя статья не рецензируется, Имбенс является всемирно известным эконометриком и экспертом в этой области. Я хотел сослаться на доступную статью и аргумент. Его точка зрения также выражена в стандартных современных учебниках по причинно-следственным выводам в эконометрике, таких как «Причинно-следственный вывод для статистики, социальных и биомедицинских наук». Я положил и V A здесь, в дополнение к причинным отношениям, показанным на рис. 16,3. Можно также рассмотреть V U и U A . Я не задаю U Z , хотя это может быть рассмотрено. Я предполагаю, что нужно контролировать для VВZВAВUUAUZВ,
Элиас
10

Да, они, конечно, могут.

На самом деле, литература SCM / DAG работает над обобщенными понятиями инструментальных переменных, вы можете проверить Brito и Pearl или Chen, Kumor и Bareinboim.

Основной IV даг обычно представлен как:

введите описание изображения здесь

Там , где является незаметным , и Z представляет собой инструмент для эффекта X на Y . Хотя этот график вы обычно видите, есть несколько различных структур, которые делают Z инструментом. Для базового случая, чтобы проверить, является ли Z инструментом для причинного влияния X на Y, условно на множестве ковариат S , у вас есть два простых графических условия:UZИксYZZИксYS

  1. (ZИкс|S)г
  2. (ZY|S)гИкс¯

Первое условие требует, чтобы был подключен к X в исходной группе DAG. Второе условие требует Z , чтобы не быть подключен к Y , если вмешиваются на X ( в лице DAG G ¯ X , где вы удалить стрелки , указывающие на X ). Возможно, вы захотите проверить причинность (стр. 248) .ZИксZYИксгИкс¯Икс

Например, рассмотрим график ниже, где и U ненаблюдаемы. Здесь, Z есть зависимость от L , инструмент для причинного влияния X на Y . Мы можем создавать более сложные случаи, когда сразу может быть неочевидно, что-то квалифицируется как инструмент или нет.WUZLИксY

введите описание изображения здесь

И последнее, что вы должны иметь в виду, это то, что для идентификации с использованием методов инструментальных переменных необходимы параметрические предположения . То есть, для определения эффекта недостаточно найти инструмент: вам нужно наложить параметрические предположения, такие как линейность или монотонность и так далее.

Карлос Синелли
источник
Не могли бы вы уточнить, как Z удовлетворяет A1 в вашем втором графике?
Дмитрий Владимирович Мастеров
A1(ZИкс|L)гWZИкс