How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Collinear columns identify a fitted mean, not its coefficients
Statement refuted
For every fixed-design matrix , the map is injective; therefore the coefficient vector is determined by its fitted mean.
Facts & Assumptions
Given: An integer , the design matrix with two identical columns , the coefficient vectors and , and centered additive noise whose law is the same at both parameter values and whose covariance is with .
The least-squares fitted vector is the projection of the observation onto the design column space (Fixed-design least squares as orthogonal projection).
For centered noise with covariance , projection onto a fixed rank- subspace has expected squared error equal to squared approximation bias plus (Exact squared-error risk of an isotropic projection fit).
Expectation is linear and preserves inequalities between integrable real random variables (Linearity, monotonicity, and the modulus bound for expectation).
The risk of a procedure is the expected loss under its parameter law (Loss functions and risk).
Counterexample
Both coefficient vectors are distinct, but . Thus the asserted injectivity fails, and the observation distributions under and are identical because the additive noise law is common.
Let be any measurable coefficient estimator. For every , completing squares gives If either coefficient risk is infinite, their maximum is already at least . Otherwise both squared losses are integrable under the common observation law. Their sum is integrable by [F3], so linearity and monotonicity in [F3] show that the sum of the two risks is at least . Thus their maximum is at least for every .
The common fitted mean lies in , which has rank . By [F2], its projected least-squares fit has expected squared fitted-value risk , or per observation by [F4]. This vanishes as grows while the coefficient-risk lower bound in step 1.2 stays at least .
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
22 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Philippe Rigollet and Jan-Christian Hütter, High-Dimensional Statistics: Lecture Notes, Chapter 2, §§7–8 (standard reference, not scraped)
- Sylvain Arlot, Model/estimator selection, Lecture on model selection, §§1–2 (standard reference, not scraped)