Skip to content

Releases: dududuguo/HighDimProb

Release list

HighDimProb alpha 0.1: RandomMatrix TailEvent route

HighDimProb alpha 0.1: RandomMatrix TailEvent route Pre-release
Pre-release

Choose a tag to compare

View all tags
@dududuguo dududuguo released this 09 Jul 13:53
alpha-0.1
5d64748

Finite-dimensional RandomMatrix alpha milestone for the checked natural-history and arbitrary-history TailEvent trace-MGF route.

Scope:

  • Example/API surface release.
  • Confirms the consumer route builds with explicit hypotheses.
  • StatementRoutes exposes the public checks.

Boundary:

  • No claim of full Tropp or full Matrix Bernstein from primitive bounded summands.
  • No claim of Lieb, Golden-Thompson, Epstein hard cores, variance-proxy derivation, theta optimization, concrete product filtration construction, or infinite-dimensional generality.

Validated:

  • lake build HighDimProb.Examples.RandomMatrix.NaturalTroppPipelineUsage
  • lake build HighDimProb.Examples.RandomMatrix.StatementRoutes
  • lake build HighDimProb.Examples
  • lake build
Loading