Skip to content

Initialize optimization problems repository with structure and examples#1

Merged
teorth merged 3 commits intomainfrom
copilot/create-repository-for-optimization-problems
Jan 23, 2026
Merged

Initialize optimization problems repository with structure and examples#1
teorth merged 3 commits intomainfrom
copilot/create-repository-for-optimization-problems

Conversation

Copy link
Contributor

Copilot AI commented Jan 23, 2026

Creates a crowdsourced repository for tracking mathematical optimization problems and their optimal constants with known bounds.

Structure

  • README.md: Index of problems organized by domain (Analysis, Discrete Mathematics)
  • template.md: Standardized format for problem documentation
  • problems/: Individual problem files with bounds, references, and history
  • CONTRIBUTING.md: Guidelines for adding problems and updating bounds

Example Problems

Three problems demonstrate the template format:

  1. Sobolev Inequality (Analysis): Sharp constants for W^{1,p}(ℝ^n) → L^{p*}(ℝ^n) embedding
  2. Hardy Inequality (Analysis): Optimal constants for 1D and n-dimensional cases
  3. Erdős-Ko-Rado (Discrete): Maximum size of intersecting k-subset families

Each problem includes:

  • Precise problem statement with mathematical notation
  • Current best upper/lower bounds with citations
  • Historical timeline of improvements
  • Complete references to literature

Format

Problems follow a consistent structure:

## Current Best Bounds

### Upper Bound
- **Value**: [expression]
- **Reference**: Author(s), Year, Journal
- **Note**: [method or significance]

### Lower Bound
- **Value**: [expression]  
- **Reference**: Author(s), Year, Journal

Contributors can submit PRs to add new problems or update bounds with proper citations.

Original prompt

I would like to create a repository of optimization problems in mathematics - problems where there is some constant C arising from an optimization problem - for instance the best constant for which a certain inequality is true - and record the known upper/lower bounds, with the aim to encourage crowdsourced updating of these records with pull requests. I'm thinking to start with a simple interface to begin with: a README with a list of links to other Markdown files, one for each problem.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot AI and others added 2 commits January 23, 2026 01:57
…te, and example problems

Co-authored-by: teorth <199308+teorth@users.noreply.github.com>
Co-authored-by: teorth <199308+teorth@users.noreply.github.com>
Copilot AI changed the title [WIP] Add repository for optimization problems with initial README Initialize optimization problems repository with structure and examples Jan 23, 2026
Copilot AI requested a review from teorth January 23, 2026 01:59
@teorth teorth marked this pull request as ready for review January 23, 2026 02:01
@teorth teorth merged commit 52c86be into main Jan 23, 2026
@teorth teorth deleted the copilot/create-repository-for-optimization-problems branch January 23, 2026 02:01
teorth pushed a commit that referenced this pull request Feb 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants