MétaCan
Menu
Back to cohort
Record W7009980301

High-dimensional least square problems: First order stochastic algorithms

2023· dissertation· en· W7009980301 on OpenAlex

Why this work is in the frame

A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.

fundA Canadian funder is recorded on the work.
no affNo Canadian affiliation: this work is invisible to an affiliation-only frame.
No Canadian affiliation. An affiliation-only frame, the usual design, would never have seen this work. It is one of the works that make the case for inverting the frame.

Bibliographic record

VenueeScholarship@McGill (McGill) · 2023
Typedissertation
Languageen
FieldMathematics
TopicMathematical Approximation and Integration
Canadian institutionsnot available
FundersMcGill University
KeywordsFirst orderStochastic processMean squareOrder (exchange)Square (algebra)Stochastic approximationNoise (video)
DOInot available

Abstract

fetched live from OpenAlex

As learning models become ever complex (as shown in Figure 1.1), the importance of efficient optimization algorithms for training these models becomes ever more apparent (illustrated by Figure 1.2).A popular class of these algorithms are the mini-batch gradientbased methods (see Definition 2) which includes stochastic gradient descent [50], Nesterov acceleration [40], and Polyak momentum [49].Despite the popularity and practicality of these algorithms, the theoretical understanding of these algorithms are limited even in the simplest of cases.This thesis aims to bridge the gap between empirical observations and our theoretical understanding of the behaviour of mini-batch gradient-based methods under the setting of quadratic models (See Assumption 6)To motivate further analysis of these algorithms, we re-examine the conventional worstcase complexity bounds of gradient-based methods.In short, these bounds only consider the maximum and minimum eigenvalues of the problem, and fail to capture typical runtime behaviour [48].To overcome this limitation, we adopt a physics-inspired approach from random matrix theory that leverages the universality phenomenon.By placing a distribution on the data, we show that we can incorporate information from the eigenspectrum of the Hessian of the quadratic problem to provide a sharper and more robust analysis.In the high-dimensional setting, we demonstrate through concentration of measure results that the two source of randomness -the sampling mechanism of the algorithm and the data distribution -averages out.Furthermore, we illustrate the deep connection between polynomials and mini-batch gradient-based algorithms -that is, we can write i iterates of the algorithm as a sum of polynomials that depends on the eigenspectrum of AA T for a given design matrix A. These results allow us to state the main theorem of this thesis: Under general quadratic functions, the dynamics of every mini-batch gradientbased algorithm can be exactly captured by a deterministic equation which solves a discrete Volterra equation.In turn, exact dynamics allows us to quantify the behaviour of interesting quadratic statistical models, including training and generalization errors as well as the random features model [6,37].Moreover, we are able to study in order to analyze properties of the celebrated Polyak momentum algorithm under the least-squares setting.Our analysis provides sufficient conditions for convergence, the relationship between convergence rate and batch-size for fixed hyperparmeters, and limiting behaviours.have been instrumental in revealing my passion for mathematical research and imparting the knowledge that I have gained thus far.Courtney and Elliot, thank you for always being available to meet, for patiently answering my questions, encouraging my natural voice in mathematics, and setting an excellent example as mentors and role models in the research community.Needless to say, it is impossible to show my full appreciation to my supervisors in an acknowledgment section.Also, I would like to express my thanks to my undergraduate supervisors Russell Steele and Archer Yang.They exposed me to statistical research which eventually led me to pursuing research in machine learning.More importantly, they have provided continual support and

Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.

Full frame distilled prediction

Teacher imitation

Not calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.

metaresearch head score (Codex)0.001
metaresearch head score (Gemma)0.005
Version: codex-gemma-dda1882f352aValidation status: machine_predicted_unvalidated
Candidate categoriesMeta-epidemiology (narrow), Science and technology studies, Insufficient payload (model declined to judge)
Consensus categoriesInsufficient payload (model declined to judge)
DomainCandidate signal: none · Consensus signal: none
Study designCandidate signal: Theoretical or conceptual · Consensus signal: Theoretical or conceptual
GenreCandidate signal: Empirical · Consensus signal: Empirical
Teacher disagreement score0.352
Threshold uncertainty score1.000

Codex and Gemma teacher scores by category

CategoryCodexGemma
Metaresearch0.0010.005
Meta-epidemiology (narrow)0.0010.001
Meta-epidemiology (broad)0.0010.000
Bibliometrics0.0010.001
Science and technology studies0.0010.000
Scholarly communication0.0000.001
Open science0.0010.000
Research integrity0.0010.002
Insufficient payload (model declined to judge)0.0030.004

Machine scores (provisional)

The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.

Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.

Opus teacher head0.038
GPT teacher head0.279
Teacher spread0.241 · how far apart the two teachers sit on this one work
Validation statusscore_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it