Issues

• Prove interval geometry, finite critical grids and rank-exact hook lifting

  uda-lab/tda-lib#519 · Filter by author t-uda opened on Oct 23, 2026

• [PH milestone] Decompose arbitrary real-indexed pointwise finite-dimensional persistence modules into intervals

  uda-lab/tda-lib#506 · Filter by author t-uda opened on Oct 23, 2026
  2

• [PH milestone] Finite Radon boundary transport: Wasserstein identification, attained optima and metric laws

  uda-lab/tda-lib#505 · Filter by author t-uda opened on Oct 23, 2026
  2

• Subdivision-Rips persistence の Gromov–Prokhorov 安定性を形式化する

  uda-lab/tda-lib#504 · Filter by author t-uda opened on Oct 23, 2026
  2

• 標本 persistence diagram 法則の Gromov–Wasserstein 安定性を形式化する

  uda-lab/tda-lib#503 · Filter by author t-uda opened on Oct 23, 2026
  1

• [Metric milestone] Sparse Rips approximation with natural homology equivalence and uniform linear-size skeletons

  uda-lab/tda-lib#502 · Filter by author t-uda opened on Oct 23, 2026
  1

• 長期主定理: 有限表示多変数加群の rank-exact signed barcode 安定性

  uda-lab/tda-lib#501 · Filter by author t-uda opened on Oct 23, 2026
  1

• [Metric milestone] Q-tame Rips persistence of totally bounded spaces and infinite-diagram GH stability

  uda-lab/tda-lib#500 · Filter by author t-uda opened on Oct 23, 2026
  1

• 有限表示多変数加群の interleaving 閉性・距離の達成・距離零分離

  uda-lab/tda-lib#499 · Filter by author t-uda opened on Oct 23, 2026
  2

• 多変数 interleaving の有限表示による特徴付け

  uda-lab/tda-lib#498 · Filter by author t-uda opened on Oct 23, 2026
  1

• 多変数長方形分解加群の代数的安定性: d_I ≤ d_B ≤ (2n−1)d_I

  uda-lab/tda-lib#497 · Filter by author t-uda opened on Oct 23, 2026
  1

• [Mapper] Selector-independent homology maps and persistence modules from cover refinements without strict selector coherence

  uda-lab/tda-lib#495 · Filter by author t-uda opened on Oct 23, 2026

• [Reeb/Mapper] Vertex-height perturbations of a fixed finite graph: uniform PL control and geometric Reeb stability

  uda-lab/tda-lib#494 · Filter by author t-uda opened on Oct 23, 2026

• lean-review-routing: document the long-lived read-only reviewer teammate route

  documentation
  uda-lab/tda-lib#387 · Filter by author uda-lab-agent opened on Oct 18, 2026

• [roadmap] Organize the next five mathematical milestones and independent PI / metric-data lanes

  uda-lab/tda-lib#227 · Filter by author t-uda opened on Oct 14, 2026
  4

• [proposal][Reeb] Machine-checked witness that the quotient-to-component comparison is not injective (DMP Example 3.21)

  uda-lab/tda-lib#63 · Filter by author uda-lab-agent opened on Oct 9, 2026
  1

• [proposal][infra] Search for duplicate helpers and extract shared lemmas at justified reuse

  uda-lab/tda-lib#57 · Filter by author uda-lab-agent opened on Oct 9, 2026
  1

• [proposal][Reeb] Geometric versus cosheaf smoothing: DMP Prop. 4.32 and the reflector-smoothing comparison (research)

  uda-lab/tda-lib#56 · Filter by author uda-lab-agent opened on Oct 9, 2026
  2

• [proposal][Reeb] Sub/superlevel relation components and the Reeb poset; comparison with the Reeb graph (conjecture)

  uda-lab/tda-lib#55 · Filter by author uda-lab-agent opened on Oct 9, 2026

• [proposal][Reeb] Smoothing as reflection after thickening: absorption criterion, semigroup law and comparison lemma

  uda-lab/tda-lib#54 · Filter by author uda-lab-agent opened on Oct 9, 2026

• [proposal][Reeb] Constructible ℝ-spaces and ℝ-graphs as finite gluings, with proper-map quotient lemmas

  uda-lab/tda-lib#51 · Filter by author uda-lab-agent opened on Oct 9, 2026

• [proposal][Reeb] Generic interleavings and extended interleaving distance over a flow (ε-translation structure)

  uda-lab/tda-lib#50 · Filter by author uda-lab-agent opened on Oct 9, 2026
  1

• [proposal][Reeb] Geometric realisation of a simple graph, π₀ comparison and "tree iff simply connected"

  uda-lab/tda-lib#49 · Filter by author uda-lab-agent opened on Oct 9, 2026
  1