CausalSmith · seminar slides

When Pooled Poisson Gets the Sign Wrong

A pooled Poisson treatment coefficient can be negative even when treatment raises the mean outcome in every treated cohort and period.

Research Question

A practitioner wants one number summarizing a policy adopted by different groups at different dates.

  • With multiplicative outcomes, a natural choice is Poisson pseudo-maximum likelihood (PPML) with unit effects, time effects, and one treatment indicator.
  • Wooldridge (2023) supplies the multiplicative untreated-mean framework for nonlinear difference-in-differences.
  • In linear regressions, de Chaisemartin and D'Haultfoeuille (2020) show that heterogeneous effects can receive negative weights.

Does pooling proportional effects in fixed-effect Poisson preserve their sign?

Key Idea

The pooled coefficient is a population projection: the best fit to outcome means using fixed effects and one common treatment coefficient.

Increasing one cell's effect also changes the fitted fixed effects. The treatment variation left in that cell can be negative, pushing the pooled coefficient downward.

informal · Theorem T-2 With four equal-share cohorts, flat untreated means, multiplier 44 at (2,4)(2,4), and 101/100101/100 elsewhere treated, every effect is positive but the limiting pooled Poisson coefficient is negative.

Under multiplicative untreated means, stable positive cohort shares and baselines, full rank, and the specified adoption support, an index Φ\Phi built from mean totals gives the coefficient's exact sign.

Example

Four periods; equal-sized cohorts adopt in periods 2, 3, and 4, or never. Every untreated mean equals one.

The entries are observed mean multipliers:

| Adoption cohort | Period 1 | Period 2 | Period 3 | Period 4 | |---|---|---|---|---| | 2 | 11 | xx | xx | yy | | 3 | 11 | 11 | xx | xx | | 4 | 11 | 11 | 11 | xx | | Never | 11 | 11 | 11 | 11 |

Here x>1x>1 is the treated multiplier outside the early cohort's final period; y>1y>1 is that final-period multiplier.

The sign index specializes to

Φ=5x2+12x−2y−1516. \Phi=\frac{5x^2+12x-2y-15}{16}.

Set x=101/100x=101/100 and y=4y=4: every treatment effect is positive, but Φ=−11559/32000\Phi=-11559/32000, so the pooled coefficient is negative.

Model

Let gg index adoption cohorts in the finite set C\mathcal C, and tt index the TT periods. Treatment is absorbing; DgtD_{gt} equals one from adoption onward.

mgt=bˉgexp⁡(γt0)exp⁡(Dgtδgt),H={(g,t):g∈C, Dgt=1}. m_{gt}=\bar b_g\exp(\gamma_{t0})\exp(D_{gt}\delta_{gt}), \qquad H=\{(g,t):g\in\mathcal C,\ D_{gt}=1\}.

This gives the observed cohort-period mean mgtm_{gt}; HH is the set of treated cells.

  • Multiplicative untreated means: each unit has a positive baseline and shares the calendar multiplier exp⁡(γt0)\exp(\gamma_{t0}). The limiting cohort-average baseline is bˉg\bar b_g.
  • Proportional effects: treatment multiplies the untreated mean by exp⁡(δgt)\exp(\delta_{gt}), common within each cohort-period cell but varying across cells.

Write Bgt=bˉgexp⁡(γt0)B_{gt}=\bar b_g\exp(\gamma_{t0}) for the untreated mean. In our example, Bgt=1B_{gt}=1 everywhere.

From Units to Cohorts

The motivating regression has unit effects. Why can we analyze cohort effects instead?

Within a cohort, every unit has the same treatment path and the same cohort-period treatment multipliers. Its mean path differs from other units' paths only through its positive baseline scale.

  • Fitting each unit effect absorbs that scale.
  • After fitting unit effects, the time and treatment scores depend on unit baselines only through their cohort averages.
  • Replacing units by cohort means, weighted by cohort shares, therefore preserves the population treatment coefficient exactly at each panel size.

Let βN⋆(δ)\beta_N^\star(\delta) denote the unit-effect population coefficient with NN units. Under the model, support, stability, and rank conditions:

βN⋆(δ)⟶β⋆(δ)as N→∞. \beta_N^\star(\delta)\longrightarrow \beta^\star(\delta) \qquad\text{as }N\to\infty .

Thus the limiting cohort-mean criterion retains the treatment coefficient from the unit-effect population fit.

Population Projection

Pooling replaces the heterogeneous log effects δgt\delta_{gt} with one coefficient.

L(θ;δ)=∑g∈C∑t=1Tqgt{mgt(δ) rgt′θ−exp⁡(rgt′θ)}. L(\theta;\delta) = \sum_{g\in\mathcal C}\sum_{t=1}^T q_{gt} \left\{ m_{gt}(\delta)\,r_{gt}'\theta-\exp(r_{gt}'\theta) \right\}.

This is the population Poisson criterion, evaluated at means.

  • The cell mass is qgt=πg/Tq_{gt}=\pi_g/T, where πg\pi_g is the limiting cohort share.
  • The regressor vector rgtr_{gt} contains cohort effects, time effects, and treatment; θ\theta contains their coefficients.
  • Its maximizer is θ⋆(δ)\theta^\star(\delta); the treatment coordinate is β⋆(δ)\beta^\star(\delta).

μgt⋆(δ)=exp⁡{rgt′θ⋆(δ)}. \mu^\star_{gt}(\delta)=\exp\{r_{gt}'\theta^\star(\delta)\}.

This is the fitted cohort-period mean. Our sign results concern this population fit.

Assumptions

The global sign result uses the model plus four conditions:

  • Support: T≥4T\ge 4; cohorts include adoption dates 2, 3, and 4 and a never-treated cohort. No cohort adopts in period 1.
  • Stability: every unit belongs to this fixed finite cohort set. Cohort shares converge to πg∈(0,1)\pi_g\in(0,1), and cohort-average baselines converge to bˉg∈(0,∞)\bar b_g\in(0,\infty).
  • Full rank: treatment cannot be reproduced exactly by cohort and time effects. This preserves separate treatment variation.
  • Positive effects: δgt>0\delta_{gt}>0 in every treated cell.

Our example has equal shares and constant baselines. Its positive multipliers satisfy the positive-effect condition despite the negative pooled coefficient.

Common-effect Benchmark

informal · Theorem T-3 Under multiplicative untreated means, positive baselines and cohort shares, and full rank, if every treated cell has the same log effect δ0\delta_0, pooled PPML recovers that effect exactly.

β⋆(δ)=δ0, \beta^\star(\delta)=\delta_0,

Here δ0\delta_0 is the common treated-cell log multiplier.

μgt⋆(δ)=Bgtexp⁡(Dgtδ0). \mu^\star_{gt}(\delta) = B_{gt}\exp(D_{gt}\delta_0).

The fitted mean equals the actual mean in every cell: fixed effects plus treatment fit the entire mean structure.

In our four-cohort family, this benchmark is y=xy=x. Why can allowing yy to differ change the pooled sign?

Mean Totals

The global diagnostic starts with observed means weighted by cohort shares.

hgt=πgBgtexp⁡(Dgtδgt),Rg=∑thgt,Ct=∑ghgt, h_{gt} = \pi_g B_{gt}\exp(D_{gt}\delta_{gt}),\qquad R_g=\sum_t h_{gt},\qquad C_t=\sum_g h_{gt},

Here hgt=πgmgth_{gt}=\pi_g m_{gt} is the share-weighted observed mean; RgR_g is its cohort total, and CtC_t its period total.

M=∑gRg,A=∑g,tDgthgt. M=\sum_g R_g,\qquad A=\sum_{g,t}D_{gt}h_{gt}.

The grand total is MM. The observed total in treated cells is AA.

These totals let us compare observed treated outcomes with what fixed effects alone would allocate to treated cells.

Main Result

Define the difference between the observed treated total and the allocation implied by cohort and period totals:

Φ(δ)=MA−∑g,tDgtRgCt, \Phi(\delta) = M A - \sum_{g,t} D_{gt} R_g C_t,

The first term scales the observed treated total AA by the grand total MM. The second sums products of cohort totals RgR_g and period totals CtC_t over treated cells.

informal · Theorem T-4 Under our multiplicative mean model, support, stability, full-rank, and positive-effect conditions, the pooled population coefficient has exactly the sign of Φ\Phi.

β⋆(δ)<0  ⟺  Φ<0,β⋆(δ)=0  ⟺  Φ=0,0<β⋆(δ)  ⟺  0<Φ. \beta^\star(\delta)<0\iff \Phi<0,\qquad \beta^\star(\delta)=0\iff \Phi=0,\qquad 0<\beta^\star(\delta)\iff 0<\Phi .

Positive cell effects alone do not determine the pooled sign. In our example, Φ=−11559/32000\Phi=-11559/32000 establishes a negative coefficient.

Why the Index Works

Set the treatment coefficient to zero and fit only cohort and time effects.

  1. Their score equations require the fit to match observed cohort and period totals.
  2. Matching both margins allocates the share-weighted fitted mean RgCt/MR_g C_t/M to cell (g,t)(g,t).
  3. The observed treated total is AA. Subtracting the fitted allocation over treated cells gives Φ/M\Phi/M.
  4. This discrepancy has the sign of the treatment score at zero.

The Poisson criterion is concave. A negative score at zero puts the maximizing coefficient below zero; a positive score puts it above zero.

The index diagnoses the pooled sign without solving for its magnitude. What makes a particular treated cell push that coefficient downward?

Removing Fixed Effects

Increasing one treated mean changes the fixed effects needed to match cohort and period totals. The cell's remaining treatment variation determines its influence on the pooled coefficient.

Let XgtX_{gt} contain the cohort and time regressors, and let ρ\rho be their auxiliary regression coefficients.

ρ⋆(δ)∈arg⁡min⁡ρ∈R∣C∣+T−1∑g∈C∑t=1Tqgt μgt⋆(δ){Dgt−Xgt′ρ}2. \rho^\star(\delta) \in \arg\min_{\rho\in\mathbb R^{|\mathcal C|+T-1}} \sum_{g\in\mathcal C}\sum_{t=1}^T q_{gt}\,\mu^\star_{gt}(\delta)\{D_{gt}-X_{gt}'\rho\}^2.

This projects treatment on fixed effects, weighting each cell by its mass times its fitted Poisson mean.

W~gt(δ)=Dgt−Xgt′ρ⋆(δ). \widetilde W_{gt}(\delta)=D_{gt}-X_{gt}'\rho^\star(\delta).

The residual W~gt\widetilde W_{gt} is the treatment variation left after that projection. The weights depend on fitted means, so they change with treatment effects.

The Local Sign Rule

informal · Theorem T-1 With positive cohort shares and baselines and full rank, increasing a treated-cell log effect lowers β⋆\beta^\star exactly when that cell's fitted-mean-weighted treatment residual is negative.

For a treated cell (k,s)(k,s), the derivative with respect to its log effect is

qks Bksexp⁡(δks) W~ks(δ)E(δ). \frac{ q_{ks}\,B_{ks}\exp(\delta_{ks})\,\widetilde W_{ks}(\delta) }{ \mathcal E(\delta) }.

Here qksq_{ks} is cell mass, Bksexp⁡(δks)B_{ks}\exp(\delta_{ks}) is the treated mean, and W~ks\widetilde W_{ks} is residualized treatment.

The denominator measures remaining weighted treatment variation:

E(δ)=∑g∈C∑t=1Tqgt μgt⋆(δ) W~gt(δ)2. \mathcal E(\delta) = \sum_{g\in\mathcal C}\sum_{t=1}^T q_{gt}\,\mu^\star_{gt}(\delta)\, \widetilde W_{gt}(\delta)^2 .

Full rank makes E(δ)>0\mathcal E(\delta)>0. Only the residual can change the derivative's sign.

Example Revisited

In the four-cohort design, at zero treatment effects the residualized treatment values are

18(−331−1−1−3311−1−3331−1−3), \frac{1}{8} \begin{pmatrix} -3 & 3 & 1 & -1\\ -1 & -3 & 3 & 1\\ 1 & -1 & -3 & 3\\ 3 & 1 & -1 & -3 \end{pmatrix},

Rows are cohorts 2,3,4,∞2,3,4,\infty; columns are periods 1,2,3,41,2,3,4. Here ∞\infty denotes the never-treated cohort.

The early-treated cohort's final cell has W~2,4=−1/8\widetilde W_{2,4}=-1/8. Raising its log effect from zero moves the pooled coefficient downward, with derivative −1/10-1/10.

This negative derivative persists near zero with small strictly positive effects.

The residual explains the local mechanism. The index Φ\Phi establishes the global reversal when that cell's multiplier is 44.

A Positive Causal Summary

Moreau-Kastler (2025) motivates proportional treatment on the treated, denoted PTTPTT, weighted by untreated counterfactual exposure.

Recover the untreated mean using only observed means:

Bgtobs=mg1(m∞t/m∞1)B^{obs}_{gt}=m_{g1}(m_{\infty t}/m_{\infty1}).

  • mg1m_{g1} is cohort gg's period-1 mean, before any adoption.
  • m∞t/m∞1m_{\infty t}/m_{\infty1} is the never-treated cohort's proportional change from period 1 to tt.
  • Multiplicative untreated means give every cohort this same time multiplier. Thus this product equals BgtB_{gt}.

PTT=∑(g,t)∈Hqgtmgt∑(g,t)∈HqgtBgtobs−1. PTT = \frac{\sum_{(g,t)\in H} q_{gt}m_{gt}} {\sum_{(g,t)\in H} q_{gt}B^{obs}_{gt}} -1.

This compares observed outcomes in treated cells with their recovered untreated total. It averages exp⁡(δgt)−1\exp(\delta_{gt})-1 with positive weights proportional to qgtBgtq_{gt}B_{gt}.

Φ<0⟹β⋆(δ)<0<PTT. \Phi<0 \quad\Longrightarrow\quad \beta^\star(\delta)<0<PTT .

Under our conditions, a negative pooled coefficient can coexist with a positive proportional causal aggregate.

Open Questions

  • Estimate the mean primitives and develop a sampling distribution for Φ\Phi.
  • Construct operational positive-weight estimators from granular proportional effects.
  • Determine how often sign reversal occurs in empirically calibrated designs.

Takeaways

  • With a common proportional effect, pooled fixed-effect PPML recovers the common log multiplier exactly.
  • With heterogeneous effects, fixed-effect adjustment can leave negative treatment variation in a treated cell. Increasing that cell's effect then lowers the pooled coefficient.
  • Under our conditions, Φ\Phi gives the pooled coefficient's exact sign, while aggregation by untreated counterfactual exposure preserves the sign of positive cell effects.

Appendix: Sharp PPML Sign

The derivative of the pooled population coefficient has exactly the sign of the treated cell's weighted treatment residual.

Theorem T-1 (Sharp PPML Sign)

Let TT be positive and let C\mathcal C be a nonempty finite cohort set. Fix cohort shares πg∈(0,1)\pi_g\in(0,1), baseline levels bˉg>0\bar b_g>0, time effects γt\gamma_t, and a proportional-effect array δ\delta. Assume:

  • (Rank.) The collapsed design satisfies Assumption A-5.
  • (Cell.) The cohort kk belongs to C\mathcal C, the period s∈{1,…,T}s\in\{1,\ldots,T\}, and the cohort-period cell is treated: Dks=1D_{ks}=1.

Write W~ks(δ) \widetilde W_{ks}(\delta) for the pseudo-true qgtμgt⋆(δ)q_{gt}\mu^\star_{gt}(\delta)-weighted FWL residual of the treatment indicator in cell (k,s)(k,s), and define E(δ)=∑g∈C∑t=1Tqgt μgt⋆(δ) W~gt(δ)2. \mathcal E(\delta) = \sum_{g\in\mathcal C}\sum_{t=1}^T q_{gt}\,\mu^\star_{gt}(\delta)\, \widetilde W_{gt}(\delta)^2 . Then E(δ)>0\mathcal E(\delta)>0, and the one-coordinate path x↦β⋆ ⁣(δ with δks replaced by x) x\mapsto \beta^\star\!\bigl(\delta \text{ with } \delta_{ks}\text{ replaced by }x\bigr) is differentiable at x=δksx=\delta_{ks} with derivative qks Bksexp⁡(δks) W~ks(δ)E(δ). \frac{ q_{ks}\,B_{ks}\exp(\delta_{ks})\,\widetilde W_{ks}(\delta) }{ \mathcal E(\delta) }. Consequently, ∂β⋆(δ)∂δks<0  ⟺  W~ks(δ)<0,∂β⋆(δ)∂δks=0  ⟺  W~ks(δ)=0, \frac{\partial \beta^\star(\delta)}{\partial \delta_{ks}}<0 \iff \widetilde W_{ks}(\delta)<0,\qquad \frac{\partial \beta^\star(\delta)}{\partial \delta_{ks}}=0 \iff \widetilde W_{ks}(\delta)=0, and ∂β⋆(δ)∂δks>0  ⟺  W~ks(δ)>0. \frac{\partial \beta^\star(\delta)}{\partial \delta_{ks}}>0 \iff \widetilde W_{ks}(\delta)>0.

Appendix: Four-cohort Sign Reversal

Equal shares, flat untreated means, and strictly positive effects can produce a negative limiting pooled coefficient.

Theorem T-2 (Four-Cohort Sign Reversal)

The four-cohort witness W4W_4 is constructed with cohort support C={2,3,4,∞}\mathcal C=\{2,3,4,\infty\}, equal shares πg=1/4\pi_g=1/4, limiting baselines bˉg=1\bar b_g=1, untreated time component γt0=0\gamma_{t0}=0, and proportional-effect log multipliers δgt={log⁡4,(g,t)=(2,4),log⁡(101/100),Dgt=1 and (g,t)≠(2,4),0,Dgt=0. \delta_{gt}= \begin{cases} \log 4, & (g,t)=(2,4),\\ \log(101/100), & D_{gt}=1 \text{ and } (g,t)\neq(2,4),\\ 0, & D_{gt}=0 . \end{cases} Then:

  • (Region membership.) The primitive W4W_4 belongs to the sign-reversal region R4\mathcal R_4 of Definition P-5.
  • (Positive effects.) Every treated supported cell has a strictly positive proportional-effect log multiplier: if g∈Cg\in\mathcal C, t∈{1,2,3,4}t\in\{1,2,3,4\}, and Dgt=1D_{gt}=1, then δgt>0\delta_{gt}>0.
  • (Unique largest treated effect.) The treated cell (2,4)(2,4) has the strictly largest proportional-effect log multiplier: if g∈Cg\in\mathcal C, t∈{1,2,3,4}t\in\{1,2,3,4\}, Dgt=1D_{gt}=1, and (g,t)≠(2,4)(g,t)\neq(2,4), then δgt<δ2,4\delta_{gt}<\delta_{2,4}.
  • (Weighted FWL residuals.) At the no-effect vector, the weighted FWL residual W~gt\widetilde W_{gt} of Definition P-4 equals 18(−331−1−1−3311−1−3331−1−3), \frac{1}{8} \begin{pmatrix} -3 & 3 & 1 & -1\\ -1 & -3 & 3 & 1\\ 1 & -1 & -3 & 3\\ 3 & 1 & -1 & -3 \end{pmatrix}, with rows g=2,3,4,∞g=2,3,4,\infty and columns t=1,2,3,4t=1,2,3,4. In particular, W~2,4=−1/8\widetilde W_{2,4}=-1/8.
  • (Negative late-cell derivative at zero.) Holding all other effects at zero, ddx β⋆ ⁣(δ2,4=x, δgt=0 for (g,t)≠(2,4))∣x=0=−110. \left.\frac{d}{dx}\, \beta^\star\!\left(\delta_{2,4}=x,\ \delta_{gt}=0\text{ for }(g,t)\neq(2,4)\right) \right|_{x=0} =-\frac{1}{10}.
  • (Local negative derivative under positive effects.) There exists ε>0\varepsilon>0 such that, for every effect vector δ′\delta' satisfying ∣δgt′∣<ε|\delta'_{gt}|<\varepsilon for all g∈Cg\in\mathcal C and t∈{1,2,3,4}t\in\{1,2,3,4\}, if δ′\delta' has strictly positive treated effects in the sense of Assumption A-7, then ddx β⋆ ⁣(δ′ with δ2,4′ replaced by x)∣x=δ2,4′<0. \left. \frac{d}{dx}\, \beta^\star\!\left(\delta' \text{ with } \delta'_{2,4}\text{ replaced by }x\right) \right|_{x=\delta'_{2,4}} <0 .

Appendix: Homogeneous Effect Reduction

A common treated-cell log multiplier is recovered exactly under multiplicative untreated means and full rank.

Theorem T-3 (Homogeneous Effect Reduction)

Fix TT, a finite cohort set C\mathcal C, sampling laws {PN}N\{\mathcal P_N\}_N, potential outcomes Yit(d)Y_{it}(d), positive unit baselines biNb_{iN}, cohort shares πg∈(0,1)\pi_g\in(0,1), positive limiting cohort baselines bˉg\bar b_g, untreated time components γt0\gamma_{t0}, cohort-time log effects δgt\delta_{gt}, and a scalar δ0\delta_0. Suppose that

  • (Untreated means.) Assumption A-2 holds.
  • (Collapsed rank.) Assumption A-5 holds for C\mathcal C and {πg}g\{\pi_g\}_g.
  • (Common treated-cell effect.) For every g∈Cg\in\mathcal C and every period tt, if Dgt=1D_{gt}=1, then δgt=δ0\delta_{gt}=\delta_0.

Then β⋆(δ)=δ0, \beta^\star(\delta)=\delta_0, and, for every g∈Cg\in\mathcal C and every period tt, μgt⋆(δ)=Bgtexp⁡(Dgtδ0). \mu^\star_{gt}(\delta) = B_{gt}\exp(D_{gt}\delta_0).

Appendix: Primitive Sign Frontier

A scalar built from mean totals gives the pooled coefficient's exact sign and establishes its contrast with a positive proportional target.

Theorem T-4 (Primitive Sign Frontier)

Fix a panel length TT, a finite cohort support C\mathcal C, triangular-array sampling laws PN\mathcal P_N, potential outcomes Yit(d)Y_{it}(d), deterministic cohort labels GiG_i, positive unit baselines biNb_{iN}, limiting shares πg∈(0,1)\pi_g\in(0,1), positive limiting cohort baselines bˉg\bar b_g, untreated time effects γt0\gamma_{t0}, and log proportional effects δgt\delta_{gt}. Suppose:

  • (Horizon and support.) T>0T>0, T≥4T\ge 4, the never-treated cohort belongs to C\mathcal C, and every finite supported cohort has adoption date different from the first period.
  • (Array support.) For every NN and every unit ii, Gi∈CG_i\in\mathcal C.
  • (Share limits.) Assumption A-1 holds for (C,Gi,πg)(\mathcal C,G_i,\pi_g).
  • (Untreated means.) Assumption A-2 holds for (PN,Yit(d),biN,γt0)(\mathcal P_N,Y_{it}(d),b_{iN},\gamma_{t0}).
  • (Baseline limits.) Assumption A-3 holds for (C,Gi,biN,bˉg)(\mathcal C,G_i,b_{iN},\bar b_g).
  • (Proportional effects.) Assumption A-4 holds for (PN,Yit(d),Gi,δgt)(\mathcal P_N,Y_{it}(d),G_i,\delta_{gt}).
  • (Rank.) Assumption A-5 holds for (C,πg)(\mathcal C,\pi_g).
  • (Frontier scope.) Assumption A-6 holds for (T,C)(T,\mathcal C).
  • (Positive effects.) Assumption A-7 holds for (C,δgt)(\mathcal C,\delta_{gt}).

Define hgt=πg bˉgexp⁡(γt0)exp⁡(Dgtδgt),Rg=∑t=1Thgt,Ct=∑g∈Chgt, h_{gt} = \pi_g\,\bar b_g\exp(\gamma_{t0})\exp(D_{gt}\delta_{gt}), \qquad R_g=\sum_{t=1}^T h_{gt}, \qquad C_t=\sum_{g\in\mathcal C} h_{gt}, M=∑g∈CRg,A=∑g∈C∑t=1TDgthgt,Φ=MA−∑g∈C∑t=1TDgtRgCt. M=\sum_{g\in\mathcal C}R_g, \qquad A=\sum_{g\in\mathcal C}\sum_{t=1}^T D_{gt}h_{gt}, \qquad \Phi = MA-\sum_{g\in\mathcal C}\sum_{t=1}^T D_{gt}R_gC_t . Then β⋆(δ)<0  ⟺  Φ<0,β⋆(δ)=0  ⟺  Φ=0,0<β⋆(δ)  ⟺  0<Φ. \beta^\star(\delta)<0\iff \Phi<0,\qquad \beta^\star(\delta)=0\iff \Phi=0,\qquad 0<\beta^\star(\delta)\iff 0<\Phi . Moreover, the primitive tuple induced by (πg,bˉg,γt0,δgt)(\pi_g,\bar b_g,\gamma_{t0},\delta_{gt}) belongs to RT\mathcal R_T if and only if Φ<0\Phi<0. For every x>1x>1 and y>1y>1, in the four-period support {2,3,4,∞}\{2,3,4,\infty\} with equal shares, unit limiting baselines, zero untreated time effects, multiplier xx on treated cells other than (2,4)(2,4), and multiplier yy at (2,4)(2,4), Φ=5x2+12x−2y−1516. \Phi=\frac{5x^2+12x-2y-15}{16}. Also, 5(101/100)2+12(101/100)−152=44414000, \frac{5(101/100)^2+12(101/100)-15}{2}=\frac{4441}{4000}, and the explicit witness W4W_4 has Φ=−1155932000. \Phi=-\frac{11559}{32000}. Let mgt=bˉgexp⁡(γt0)exp⁡(Dgtδgt),H={(g,t):g∈C, Dgt=1}. m_{gt}=\bar b_g\exp(\gamma_{t0})\exp(D_{gt}\delta_{gt}), \qquad H=\{(g,t):g\in\mathcal C,\ D_{gt}=1\}. For every (g,t)∈H(g,t)\in H, Bgtobs=Bgt,τgt=exp⁡(δgt)−1,ωgt>0. B^{obs}_{gt}=B_{gt},\qquad \tau_{gt}=\exp(\delta_{gt})-1,\qquad \omega_{gt}>0. The counterfactual-share weights sum to one: ∑(g,t)∈Hωgt=1. \sum_{(g,t)\in H}\omega_{gt}=1. The counterfactual-share PTT satisfies PTT=∑(g,t)∈Hqgtmgt∑(g,t)∈HqgtBgtobs−1. PTT = \frac{\sum_{(g,t)\in H} q_{gt}m_{gt}} {\sum_{(g,t)\in H} q_{gt}B^{obs}_{gt}} -1. Finally, Φ<0⟹β⋆(δ)<0<PTT. \Phi<0 \quad\Longrightarrow\quad \beta^\star(\delta)<0<PTT .