REVIEW 2 major objections 8 minor 1 cited by
Identification of Impulse Response Functions for Nonlinear Dynamic Models
T0 review · 2 major / 8 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read In multivariate nonlinear dynamic models, structural shocks and impulse responses are only partially identified: the same transition density is compatible with every smooth volume-preserving transformation of the underlying shocks.
desk verdict A credible partial-identification result for nonlinear IRFs, with two overclaimed remedies (Props 5 and 7) that should be fixed before publication. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the identified set described in Proposition 2: for $n \geq 2$, the collection of nonlinear autoregressive representations compatible with a given transition density is exactly the orbit of the true representation $(g, u_t)$ under smooth invertible transformations $T$ of the uniform shock with $|\det \partial T(u)/\partial u'| = 1$ everywhere. Existence of at least one representation is supplied by the recursive conditional-quantile inversion $\varepsilon_t = \Phi^{-1} \circ F(y_t \mid y_{t-1})$, which builds Gaussian innovations from the conditional cumulative distribution function of the transition. The multiplicity is generated by distribution-preserving maps, and in polar coordinates these include norm-dependent rotations of the Gaussian shock, $Q(\|\varepsilon_t\|^2)\varepsilon_t$; the polar decomposition of the Jacobian (a scale, a rotation, a unit-determinant symmetric part) organizes the group of admissible transformations. This mechanism converts the identification problem into a question about measure-preserving diffeomorphisms of the unit cube, which is what lets the paper import and use results from nonlinear independent component analysis.
What would settle it
Simulate a bivariate nonlinear Markov process from a known transition density, estimate that density nonparametrically, and fit two representations $g_0$ and $g_1$ that are related by a nontrivial smooth volume-preserving transformation $T$ (for instance a norm-dependent rotation with $|\det \partial T/\partial u'| = 1$). If both fits have the same likelihood while their horizon-2 impulse responses differ materially, Proposition 2's non-identification is confirmed in practice; if instead the transformed innovations fail a test of serial independence, the empirical identified set is smaller than the full orbit the paper describes.
Extended reading notes
Core claim
The paper's central discovery is a characterization of the identified set for nonlinear dynamic models, stated as Proposition 2. Fix the transition density $f(y_t \mid y_{t-1})$ of a first-order Markov process: for a single series ($n=1$) the nonlinear autoregressive representation with Gaussian innovations is essentially unique, up to the sign change $\varepsilon \mapsto -\varepsilon$ and irregular non-smooth cases; for $n \geq 2$ the uniform shocks $u_t$ are identified only up to a continuously differentiable, invertible transformation $T$ of $[0,1]^n$ whose Jacobian determinant is identically $+1$ or identically $-1$. Any such volume-preserving transformation of the shocks produces a new representation with exactly the same likelihood, so no amount of data can choose among them. A concrete family is rotation of the Gaussian shock vector by an angle that depends on its norm, $\eta_t = Q(\|\varepsilon_t\|^2)\varepsilon_t$ with $Q$ a special orthogonal matrix function, the nonlinear analogue of the orthogonal-matrix indeterminacy of linear SVARs. Because the impulse response depends on which representative of this set is selected, the IRF is only partially identified; the identifiable objects are exactly the functionals of the transition density itself, such as the pseudo impulse response from a direct additive shock to $y_t$.
Load-bearing premise
The load-bearing premise — flagged by the paper itself in Sections 4.3 and 6 — is that the one-step-ahead conditional distribution of the full observed system is identified from the data and that the series really form a first-order Markov system in the variables observed; if the distribution shifts over time, the Markov order is wrong, or relevant variables are omitted, the described set of equally good shock structures no longer applies, and the characterization counts only smooth transformations, whereas the non-smooth cases in Appendix A.2 add still more multiplicity.
Editorial extensions
If this is right
- With two or more series, two estimation exercises with different starting values or algorithms can converge to different functions $g$ inside the identified set and therefore to different impulse responses, all with the same asymptotic fit to the data.
- Univariate nonlinear models are identified: for $n=1$ the Gaussian innovation and its IRF are unique up to the sign flip, so the failure of identification is a genuinely multivariate phenomenon.
- Independence of non-Gaussian sources restores identification: if at most one source is Gaussian, the mixing structure and the sources are recovered up to scale and permutation (linear ICA).
- Observed series that are transformations of independent latent factors with different dynamics — different autocovariance functions, or different transition-density derivatives — yield essentially unique factors and identifiable IRFs.
- The pseudo impulse response, defined by shocking $y_t$ itself by $\Delta$, is always identifiable from the transition density, and Proposition 7 shows the structural IRF equals the PIRF plus a horizon-one correction; the unidentified part of the IRF is precisely this correction.
Reading between the lines
- The norm-dependent rotations the paper constructs double as a robustness diagnostic: compute the impulse response over a grid of such rotations and report the spread, which measures how much of the reported IRF is structural rather than an artifact of the chosen representative.
- Because the identified set is an orbit of measure-preserving transformations, conventional identifying devices — sign restrictions, narrative records, Cholesky-type recursions — amount to selecting one element of the orbit; their identifying content could be audited by checking whether the selected shock survives adversarial volume-preserving perturbations.
- The universe dependence implies that nonlinear impulse responses are not coherent under aggregation: a shock identified in a small system need not correspond to any shock in an augmented system, with direct consequences for factor-augmented and network models.
- A testable extension: apply the covariance-based Markov tests of Section 6.1.1 to residuals from two representations in the identified set; if one passes and the other fails serial independence, the empirical identified set is strictly smaller than the full orbit of Proposition 2.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies identification of impulse response functions (IRFs) in nonlinear multivariate dynamic models. It introduces a Gaussian (or uniform) nonlinear autoregressive representation of a Markov process and shows that, in dimension n≥2, this representation is not unique: the identified set consists of transformations that leave the standard normal or uniform distribution invariant. Proposition 2 characterizes this set as smooth invertible transformations with Jacobian determinant ±1, and Proposition 3 provides examples based on radius-dependent rotations. The paper then discusses remedies: non-Gaussian innovations and independent component analysis (Proposition 6), factor models with sources having different dynamics (Propositions 8 and 9), pseudo-IRFs (Proposition 7), and the role of the universe of variables (Section 6). The overall message is that nonlinear innovations and IRFs are generally partially identified, not point identified, unless additional restrictions are imposed.
Significance. If the results hold, the paper makes a useful conceptual contribution by formalizing the extent of underidentification of nonlinear IRFs. The proof of Proposition 2 in Appendix A.3 is self-contained, and the rotation examples in Proposition 3 are correct. The discussion of the dependence of Markov properties, innovations, and IRFs on the universe of variables (Section 6) is a valuable reminder. The paper also usefully connects the identification problem to nonlinear ICA and to dynamic factor models. Its contribution is primarily formal and conceptual rather than an estimation theory; no consistency or inference results are claimed. The central negative result—that nonlinear IRFs are partially identified in general multivariate settings—is credible and internally consistent.
major comments (2)
- [Section 4.3.3, Proposition 7] The statement 'The function PIRFt is identifiable' is not proved and, as stated, is too strong. The random variable PIRFt(h,Δ,yt) in (4.10) is constructed by feeding the same future innovations ε_{t+1},... into the baseline and perturbed paths, so its full distribution depends on the particular function g selected from the identified set, not only on the transition density. What the text actually establishes in (4.11) is that E[PIRFt(h,Δ,yt)|yt] = E(yt+h|yt+Δ) − E(yt+h|yt), which is a functional of the transition density and hence identifiable. Because Proposition 7 is presented as one of the paper's remedies for partial identification, the proposition should be restated and proved for this conditional expectation (or for another identifiable summary), and the non-identifiability of the stochastic PIRF should be acknowledged.
- [Section 3.2.2 and Appendix A.4, Proposition 4] The dimension count in Proposition 4 and Lemma 4 appears incorrect. The conditions (A.4) are the Cauchy-Riemann equations for the map b1 + i b2, so the space of harmonic pairs of total degree at most m has real dimension 2(m+1), not 2m; for m=1 the paper's own parametrization leaves the four parameters b1,00, b2,00, c00, and d11 free. Moreover, the set {b1,h,k, b2,h,k : h+k ≥ m} in the proposition is infinite-dimensional, so the statement as written is not well defined. This does not undermine the paper's qualitative underidentification conclusion, but the proposition and Lemma 4 need to be corrected or replaced by a precise statement.
minor comments (8)
- [Section 2.3, Eq. (2.9) and Remark 4] Equation (2.9) and the corresponding PIRF formula in Remark 4 give the cumulative response (Id + Φ + ... + Φ^h), whereas the definition in (2.7) and the formula used in Proposition 5 are the horizon-h responses Φ^h Dδ and Φ^h Δ. Please correct these displays or label them explicitly as cumulative IRFs.
- [Section 4.3.3] The sentence referring to simulations in 'Section 4.2.2' should point to Section 4.3.2, which is where the simulation consistency argument appears.
- [Section 4.3.3, Remark 4] The cross-reference to 'Proposition 6' in Remark 4 appears to be a typo; the relation IRF = PIRF(...) is the content of Proposition 7.
- [Section 3.1, Proposition 2] The codomain of T is written as (0,1]^n, and the Jacobian condition is stated on mixed open/closed domains; please make the domain and codomain of T consistent (presumably [0,1]^n or (0,1)^n).
- [Appendix A.3, proof of Proposition 2] The proof shows that any two representations yield a transformation T with |det| = 1, but it does not explicitly state the converse: every such T defines an observationally equivalent representation via g̃(yt−1, T(ut)) = g(yt−1, ut). Adding a sentence would make the 'identified up to' characterization complete.
- [Section 4.2, Eq. (4.5)] In display (4.5), the components of the inverse c.d.f. vector are all written as F_1^{-1}(u_i,t); they should be F_i^{-1}(u_i,t) for i=1,...,n to match the statement that Fi is the c.d.f. of wi,t.
- [Section 4.1] It would help to state explicitly that Proposition 5 is a linear-model illustration and that no nonlinear analogue of the 'maximum IRF' identification is claimed; the current transition from the nonlinear underidentification problem to the SVAR(1) formula could be misread as proposing a nonlinear remedy.
- [Section 6.1.1] The word 'pormanteau' should be 'portmanteau'.
Circularity Check
No circularity: central identified-set characterization is proven self-contained; self-citations are auxiliary only.
full rationale
The paper's load-bearing negative result—that multivariate Gaussian/uniform nonlinear innovations and IRFs are only partially identified, with the identified set given by C^1 measure-preserving transformations of [0,1]^n—is established in Proposition 2 via the Jacobian formula in Appendix A.3. The proof starts from two representations y_t = h(y_{t-1};u_t) = \tilde h(y_{t-1};\tilde u_t), writes \tilde u_t = T(u_t) under the independence assumption, and obtains |det ∂T/∂u'| = 1 from equality of uniform densities. It does not import the target result from the cited literature. Proposition 1 is the standard Rosenblatt multivariate inverse-CDF construction, and Proposition 4's harmonic-function dimension count is proved in Appendix A.4. Self-citations (Gourieroux–Jasiak 2022; Gourieroux–Monfort–Renne 2017; Gourieroux–Jasiak 2023b) are used for extensions or as lemmas whose original sources are external (Comon, Darmois, Rosenblatt, Hall); none of these citations is the sole support for a central claim. The skeptical concern about Proposition 5 is a substantive correctness issue—the closed-form maximization uses the linear IRF formula a'Φ^h Dδ, whose nonlinear generalization is not established—but it is not circularity, since the optimized value is a function of the identifiable reduced-form covariance DD'. No fitted parameter is relabelled as a prediction, and no result is forced by definition or by an author-imported uniqueness theorem. The acknowledged caveats (smoothness of transformations in Appendix A.2; identifiability of the transition density in Section 4.3) weaken the exact description of the identified set without making the derivation circular.
Assumptions & free parameters
assumptions (7)
- domain assumption The observed process (yt) is Markov of order 1 on R^n with strictly positive transition density f(yt|yt-1) > 0.
- domain assumption The transition density f(yt|yt-1) is identified from observations, typically via stationary ergodicity.
- domain assumption Candidate structural innovations must be independent of yt-1 and mutually independent, with Gaussian or uniform normalization.
- domain assumption The representation function g is one-to-one and continuously differentiable in the innovation with strictly positive Jacobian.
- standard math Standard mathematical tools: Rosenblatt transform, Jacobian formula, polar decomposition of matrices, harmonic function series expansions.
- domain assumption For factor-model identification, the sources have different dynamics, e.g., linearly independent autocovariance functions (Proposition 8) or linearly independent score-transition sequences (Proposition 9).
- domain assumption At most one of the independent sources is Gaussian for linear ICA identification.
Cite this review
Pith. "Pith review of Identification of Impulse Response Functions for Nonlinear Dynamic Models." pith.science (2026). https://pith.science/paper/PQPQDAKG
@misc{pith2026250613531,
author = {Pith},
title = {Pith review of: Identification of Impulse Response Functions for Nonlinear Dynamic Models},
year = {2026},
howpublished = {\url{https://pith.science/paper/PQPQDAKG}},
note = {Machine review of arXiv:2506.13531}
}
read the original abstract
We explore the issues of identification for nonlinear Impulse Response Functions in nonlinear dynamic models and discuss the settings in which the problem can be mitigated. In particular, we introduce the nonlinear autoregressive representation with Gaussian innovations and characterize the identified set. This set arises from the multiplicity of nonlinear innovations and transformations which leave invariant the standard normal density. We then discuss possible identifying restrictions, such as non-Gaussianity of independent sources, or identifiable parameters by means of learning algorithms, and the possibility of identification in nonlinear dynamic factor models when the underlying latent factors have different dynamics. We also explain how these identification results depend ultimately on the set of series under consideration.
Figures
Forward citations
Cited by 1 Pith paper
-
Bandwidth-Free Inference for Recursive Nonlinear Impulse Response Functions
The paper provides first-order, bootstrap, and finite-simulation inference for recursive nonlinear impulse responses computed from empirical residual quantiles, without density estimation or quantile-smoothing bandwidths.
Reference graph
Works this paper leans on
-
[1]
Let us consider a Gaussian AR(1) model: yt = ρyt−1 +εt, where the εt’s are i.i.d. N(0, 1). It is easily seen that y2τ =ρ2y2(τ−1) +ε2τ +ρε2(τ−1). In this simple case, the function ˜g is still affine in y2(τ−1) with an autoregressive coefficient ρ2 and we have ˜ε2τ =ε2τ +ρε2(τ−1)
-
[2]
In the nonlinear dynamic framework, the nonlinear innovation ˜ε2τ is no longer a func- tion of ε2τ and ε2(τ−1) only, but depends also on y2(τ−1) in general. Therefore, the definition of nonlinear innovation depends in a complicated way on the selected time unit, with important consequences when considering the definition of shocks and the computation of I...
-
[3]
These shocks cannot change the past, which explains the need for the independence betweenyt−1 and εt
-
[4]
This explains the assumption of cross sectional independence between the components of εt
The shock on ε1,t, say, has to be performed without an effect on ε2,t. This explains the assumption of cross sectional independence between the components of εt
-
[5]
It will be useful to fix the level of shocks δ1,δ 2 in a coherent way. This is done by imposing the conditions of identical distribution, where any level of shock corresponds to a given quantile of the common distribution. These common quantiles are what is used to define small as well as extreme shocks. Remark 1: The literature has suggested an alternati...
work page 1989
-
[6]
It is completely deterministic and not stochastic
-
[7]
It is history invariant, that is, it does not depend on the current environment yt−1
-
[8]
It is a linear function with respect to the magnitude δ. Indeed, the Gaussian VAR(1) is a very special case of dynamic models and such properties are in general, not indicative of what arises in a nonlinear dynamic framework. 2.4 Examples Example 1: Conditionally Gaussian Model The model can be written as: yt =m(yt−1) +D(yt−1)εt, (2.10) where εt∼ IIN (0,I...
work page 1996
Show all 14 references
-
[9]
dimension
The Ω symmetric positive definite matrix with det Ω = 1 can be written as Ω = ExpV , whereV is a symmetric traceless matrix (with Tr V = 0). Note that the “dimension” of the group generated by the different components are 1 for λ, n(n−1) 2 for Q (or B), n(n+1) 2 − 1 for Ω (or ...
-
[10]
structural form
a(ρ) = 0.2ρ, For each case, we represent in u1 u2 ∈ [0, 1]2, the curves transformed of the segments (u1 = k 75, 0≤u2 < 1),k = 0, 1,..., 75 (resp. 0≤u1≤ 1,u 2 = k 75),k = 0, 1,..., 75. They correspond to homotopic deformations of the square [Smale (1959)]. These transfor- matio...
1959
-
[11]
In particular, some tuning parameters for accelerating the algorithm are supposed to be defined unambiguously
The learning algorithm provides for each starting value and each iteration step a unique value ˆgp,T . In particular, some tuning parameters for accelerating the algorithm are supposed to be defined unambiguously
-
[12]
Can we use such an estimate in practice and for which purpose? 4.3.2 Simulations Let us first consider the simulation issues
ˆgpT,T converges to the identified set when T , pT tend to infinity. Can we use such an estimate in practice and for which purpose? 4.3.2 Simulations Let us first consider the simulation issues. Indeed, simulated trajectories are usually based on the nonlinear autoregressive s...
1993
-
[13]
IRFt(h,δ,y t−1) =PIRFt(h,g (yt−1,εt +δ)−g(yt−1,ε 0),g (yt−1,ε 0))
-
[14]
the diagonal elements of matrix A are equal to 1
The function PIRFt is identifiable. Therefore, the identification issue on the IRF is just due to the different effects at horizon 1 when applying a change on yt instead of a change on εt. The PIRF is in general stochastic and its expectation conditional on yt is equal to: E [...
1991 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.