Vladimir Dragovich - Complexity of Lasso with Normalized Data

Vladimir Dragovich - Complexity of Lasso with Normalized Data

Title history
  • Vladimir Dragovich - Complexity of Lasso with Normalized Data — observed on 20261030-1709 UTC (YouTube)
🎙 Vladimir Dragovich 👥 82K 📅 October 30, 2026 ⏱ 59 min 👁 15 📄 original study 🧭 2026-10-30
Available in: English (current) Français

Keywords

lassonormalized dataorthantbinary codesKleitman theorem

Summary

The talk by Vladimir Dragovich, joint work with Boris, explores the complexity of the Lasso path with normalized data. Starting from integrable systems, they discovered deep connections with statistics and convex geometry. The Lasso, a regularization technique introduced 30 years ago, is reformulated geometrically as the trajectory of the tangency point between an expanding ellipsoid and a shrinking cross-polytope. The speaker highlights a key difference: normalizing predictors (setting covariance matrix diagonal to one) drastically reduces the possible complexity of the path. They prove that for normalized data, the path can visit at most orthants satisfying a pairwise agreement in at least two coordinates, leading to an upper bound linked to Hamming distance. They construct the first normalized example in dimension three where a jump between orthants occurs. The talk connects to coding theory via Kleitman’s theorem on anti-codes, and they compute the relevant bound Hp2. Throughout, they compare with known results by Mairal-Yu and Lee-Singer, and emphasize that such phenomena are typically overlooked in statistical practice.

166 words

Critical Evaluation

Value of the Information & Strength of the Argument

The value of the information is high: the talk provides new results on the complexity of Lasso paths under normalization, a topic with both theoretical and practical implications. The argumentation is solid, built on geometric intuition and rigorous proofs. The speaker clearly delineates their contributions from existing literature, and the use of explicit examples (e.g., the P=3 construction) strengthens the validity of the claims. The connection to binary codes and Hamming distance provides a surprising yet elegant framework, and the reference to Kleitman’s theorem grounds the bound in established mathematics. The discussion of typical behavior versus worst-case scenarios (Lee-Singer vs. Mairal-Yu) adds depth to the argument.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigor is evident: the talk is based on a publication in Statistical Science and other preprint/paper works, though specific references are only cited verbally. The speaker acknowledges when they rediscovered known results (e.g., Kleitman’s theorem), showing intellectual honesty. The adequacy between title and content is perfect: the talk focuses on the complexity of Lasso with normalized data, and every part of the presentation serves that theme. The geometric setup and coding theory connection are all directly tied to explaining this complexity. No comments were provided for analysis, so no public reception could be assessed.

217 words

Title / Content Match

The title accurately reflects the content, focusing on the complexity of Lasso with normalized data.

Quality & Reliability

9/10

The talk presents rigorous mathematical proofs and connects multiple fields, delivered by an expert at a prestigious institution. The results are novel and build on established literature, though some references are only verbally mentioned.

Key Moments

Cited Sources

  • carmin.tv — Video platform hosting the talk.
  • Ellipsoidal billiards and moments (paper with Boris) — Mentioned as a prior paper published three years ago, related to the geometric foundations.
  • Orthogonal and linear regression (published in Statistical Science) — Mentioned as a prior work in top statistical journal.
  • Mairal and Yu paper on lasso complexity — Known result for non-normalized data, proving an upper bound of 2^p - 1.
  • Lee and Singer (2018) — Proved that typical cases have very low complexity, contrasting with worst-case examples.
  • Kleitman's theorem (1966) — Solved the problem of maximal anti-codes, giving HpR values used in the talk.

Contribution & Novelties

The main novelty is the discovery that normalizing predictors in Lasso dramatically restricts the possible paths, leading to a new upper bound tied to coding theory. They prove that for normalized data, any two visited full-dimensional orthants must agree in at least two coordinates, and by linking this to Kleitman’s anti-code theorem, they derive explicit bounds. They also construct the first example in P=3 where a jump occurs, illustrating that such phenomena are not absent in normalized cases. The work bridges statistics, convex geometry, and coding theory, offering a fresh perspective on a widely used method.

Pour aller plus loin :

  • Lasso (statistics) — Overview of Lasso regularization, its formulation and applications.
  • Hamming distance — Core concept used for binary words and anti-code bounds.
  • Cross-polytope — The geometric object (octahedron in 3D) used in the shrinking polytope formulation.

138 words

Radar Profile

The profile shows high technical level and reliability, with slightly lower quantity and quality scores, reflecting the specialized nature of the talk. The score for quantity is high (9) due to the dense content, while the technical level is maximal (10) indicating a mathematically advanced audience.

Reliability 9/10