Skip to content

Precomputed Gröbner basis for quantum symmetric groups#5585

Merged
benlorenz merged 12 commits intooscar-system:masterfrom
Sequenzer:feature/gbforQsymm
Nov 27, 2025
Merged

Precomputed Gröbner basis for quantum symmetric groups#5585
benlorenz merged 12 commits intooscar-system:masterfrom
Sequenzer:feature/gbforQsymm

Conversation

@Sequenzer
Copy link
Copy Markdown
Collaborator

@Sequenzer Sequenzer commented Nov 25, 2025

I added the Grő̡̿bner basis from https://arxiv.org/abs/2503.15104 to the quantum symmetric group, as well as some tests.
Additionally, I added the option to use subscript indexing for the quantum symmetric group.

@Sequenzer Sequenzer changed the title Improvement: Precompute Groebnerbasis for quantum symmetric group Improvement: Precompute Gröbner basis for quantum symmetric group Nov 25, 2025
@lgoettgens lgoettgens changed the title Improvement: Precompute Gröbner basis for quantum symmetric group Precompute Gröbner basis for quantum symmetric group Nov 25, 2025
@Sequenzer Sequenzer changed the title Precompute Gröbner basis for quantum symmetric group Improvement: Precompute Gröbner basis for quantum symmetric group Nov 25, 2025
@lgoettgens lgoettgens added the enhancement New feature or request label Nov 25, 2025
@Sequenzer Sequenzer changed the title Improvement: Precompute Gröbner basis for quantum symmetric group Precompute Gröbner basis for quantum symmetric group Nov 25, 2025
Comment thread docs/oscar_references.bib Outdated
Comment thread src/Combinatorics/Matroids/quantum_automorphism_groups.jl Outdated
Comment thread src/Combinatorics/Matroids/quantum_automorphism_groups.jl Outdated
Comment thread src/Combinatorics/Matroids/quantum_automorphism_groups.jl Outdated
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
@benlorenz benlorenz added the release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes label Nov 26, 2025
@Sequenzer Sequenzer changed the title Precompute Gröbner basis for quantum symmetric group Precomputed Gröbner basis for quantum symmetric groups Nov 26, 2025
Comment thread test/Combinatorics/Matroids/Matroids.jl Outdated
Comment thread test/Combinatorics/Matroids/Matroids.jl Outdated
Copy link
Copy Markdown
Member

@benlorenz benlorenz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks reasonable! (I did not check all the indices)

On small comment regarding the index function.

Comment thread src/Combinatorics/Matroids/quantum_automorphism_groups.jl Outdated
@Sequenzer
Copy link
Copy Markdown
Collaborator Author

Sequenzer commented Nov 27, 2025

Regarding the indices, all the numbers in the code are lower equal to 5, meaning for bigger n, the structure of the Gröbner basis and the behavior of the code doesn't change. The test I added checks the cases for n=6 and n=5. What I am saying is, I find it highly unlikely that the function is correct for $n=6,n=5$ and wrong for bigger n, based on the way this function is written. Besides that, while writing the paper, we tested this construction up to n=16. For this pull-request, I copy pasted the code from the code used there. CC. @leonardSchmitz

@benlorenz benlorenz enabled auto-merge (squash) November 27, 2025 13:25
@benlorenz benlorenz merged commit 8d60e57 into oscar-system:master Nov 27, 2025
65 of 70 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: algebraic geometry topic: combinatorics

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants