An adaptive model checking test for the functional linear model

被引:0
|
作者
Shi, Enze [1 ]
Liu, Yi [1 ]
Sun, Ke [1 ]
Li, Lingzhu [2 ]
Kong, Linglong [1 ]
机构
[1] Univ Alberta, Dept Math & Stat Sci, Edmonton, AB, Canada
[2] Beijing Univ Technol, Sch Math Stat & Mech, Beijing, Peoples R China
关键词
Adaptive-to-model test; functional linear model; reproducing kernel Hilbert space; sufficient; dimension reduction; SUFFICIENT DIMENSION REDUCTION; CONVERGENCE-RATES; REGRESSION; PREDICTION; FORM;
D O I
10.3150/24-BEJ1752
中图分类号
O21 [概率论与数理统计]; C8 [统计学];
学科分类号
020208 ; 070103 ; 0714 ;
摘要
Numerous studies have been devoted to the estimation and inference problems for functional linear models (FLM). However, few works focus on model checking problem that ensures the reliability of results. Limited tests in this area do not have tractable null distributions or asymptotic analysis under alternatives. Also, the functional predictor is usually assumed to be fully observed, which is impractical. To address these problems, we propose an adaptive model checking test for FLM. It combines regular moment-based and conditional moment-based tests, and achieves model adaptivity via the dimension of a residual-based subspace. The advantages of our test are manifold. First, it has a tractable chi-squared null distribution and higher powers under the alternatives than its components. Second, asymptotic properties under different underlying models are developed, including the unvisited local alternatives. Third, the test statistic is constructed upon finite grid points, which incorporates the discrete nature of collected data. We develop the desirable relationship between sample size and number of grid points to maintain the asymptotic properties. Besides, we provide a data-driven approach to estimate the dimension leading to model adaptivity, which is promising in sufficient dimension reduction. We conduct comprehensive numerical experiments to demonstrate the advantages the test inherits from its two simple components.
引用
收藏
页码:894 / 921
页数:28
相关论文
共 50 条
  • [21] Adaptive Interpolation-Based Model Checking
    Lai, Chien-Yu
    Wu, Cheng-Yin
    Huang, Chung-Yang
    2014 19TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2014, : 744 - 749
  • [22] Adaptive variable reordering for symbolic model checking
    Kamhi, G
    Fix, L
    1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 359 - 365
  • [23] Model checking embedded adaptive cruise controllers
    Nenchev, Vladislav
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2023, 167
  • [24] MODEL CHECKING TECHNIQUES FOR ASSESSING FUNCTIONAL FORM SPECIFICATIONS IN CENSORED LINEAR REGRESSION MODELS
    Leon, Larry F.
    Cai, Tianxi
    STATISTICA SINICA, 2012, 22 (02) : 509 - 530
  • [25] Software model checking using linear constraints
    Armando, A
    Castellini, C
    Mantovani, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 209 - 223
  • [26] FAIR SMG AND LINEAR TIME MODEL CHECKING
    BARRINGER, H
    FISHER, MD
    GOUGH, GD
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 133 - 150
  • [27] Parallel and complete model checking with linear complexity
    Wu, Xiaojuan
    Wu, Lijun
    Huang, Huijia
    Xue, Lei
    Journal of Information and Computational Science, 2013, 10 (05): : 1519 - 1529
  • [28] Linear Temporal Logic Symbolic Model Checking
    Rozier, Kristin Y.
    COMPUTER SCIENCE REVIEW, 2011, 5 (02) : 163 - 203
  • [29] LINEAR ENCODINGS OF BOUNDED LTL MODEL CHECKING
    Biere, Armin
    Heljanko, Keijo
    Junttila, Tommi
    Latvala, Timo
    Schuppan, Viktor
    LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (05)
  • [30] A Compact Linear Translation for Bounded Model Checking
    Jackson, Paul B.
    Sheridan, Daniel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (03) : 17 - 30