This article studies an asymptotic framework for conducting inference on parameters of the form φ( heta_0), where φ is a known directionally differentiable function and heta_0 is estimated by $\hat heta_n$. In these settings, the asymptotic distribution of the plug-in estimator $φ(\hat heta_n)$ can be derived employing existing extensions to the Delta method. We show, however, that (full) differentiability of φ is a necessary and sufficient condition for bootstrap consistency whenever the limiting distribution of $\hat heta_n$ is Gaussian. An alternative resampling scheme is proposed that remains consistent when the bootstrap fails, and is shown to provide local size control under restrictions on the directional derivative of φ. These results enable us to reduce potentially challenging statistical problems to simple analytical calculations—a feature we illustrate by developing a test of whether an identified parameter belongs to a convex set. We highlight the empirical relevance of our results by conducting inference on the qualitative features of trends in (residual) wage inequality in the U.S.

This paper develops a uniformly valid and asymptotically nonconservative test based on projection for a class of shape restrictions. The key insight we exploit is that these restrictions form convex cones, a simple and yet elegant structure that has been barely harnessed in the literature. Based on a monotonicity property afforded by such a geometric structure, we construct a bootstrap procedure that, unlike many studies in nonstandard settings, dispenses with estimation of local parameter spaces, and the critical values are obtained in a way as simple as computing the test statistic. Moreover, by appealing to strong approximations, our framework accommodates nonparametric regression models as well as distributional/density‐related and structural settings. Since the test entails a tuning parameter (due to the nonstandard nature of the problem), we propose a data‐driven choice and prove its validity. Monte Carlo simulations confirm that our test works well.

This paper considers the problem of testing whether there exists a non‐negative solution to a possibly under‐determined system of linear equations with known coefficients. This hypothesis testing problem arises naturally in a number of settings, including random coefficient, treatment effect, and discrete choice models, as well as a class of linear programming problems. As a first contribution, we obtain a novel geometric characterization of the null hypothesis in terms of identified parameters satisfying an infinite set of inequality restrictions. Using this characterization, we devise a test that requires solving only linear programs for its implementation, and thus remains computationally feasible in the high‐dimensional applications that motivate our analysis. The asymptotic size of the proposed test is shown to equal at most the nominal level uniformly over a large class of distributions that permits the number of linear equations to grow with the sample size.