Opened 3 years ago
Last modified 3 weeks ago
#30172 new enhancement
Cone of positive-semidefinite matrices
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.9 |
Component: | geometry | Keywords: | |
Cc: | dimpase, yzh, mjo, gh-kliem | Merged in: | |
Authors: | Matthias Koeppe | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/mkoeppe/cone_of_positive_semidefinite_matrices (Commits, GitHub, GitLab) | Commit: | 7e16b79577b4578b432690e32cc2f7d40b213279 |
Dependencies: | Stopgaps: |
Description (last modified by )
We define
- the subspace/submodule of symmetric matrices
- the cone of positive-semidefinite matrices (with
ambient
= the full matrix space;affine_hull
= the above subspace), implementing the ABC for convex sets (#31919) - the cone of positive-definite matrices as its
relative_interior
. - additive semigroups/monoids of positive-(semi)definite matrices as intersection of the above with a
MatrixSpace
Related:
- #30095
sage.tensor.modules
: AddSymPowerFreeModule
- #30218 Category
InnerProductSpaces
- #31981
ManifoldSubset
corresponding to a CVXPYLeaf
(Variable
/Parameter
) - #30495
sage.manifolds
: Connect to Pymanopt
Random references:
- Jean-Baptiste Hiriart-Urruty, Jérôme Malick, A Fresh Variational-Analysis Look at the Positive Semidefinite Matrices World, https://hal.archives-ouvertes.fr/hal-00651605/document
- Yuhan Jiang & Bernd Sturmfels, Bad projections of the PSD cone, 2021, https://link.springer.com/article/10.1007/s13348-021-00319-4
- Lek-Heng Lim , Rodolphe Sepulchre, Ke Ye, Geometric Distance Between Positive Definite Matrices of Different Dimensions, https://www.stat.uchicago.edu/~lekheng/work/ellipsoids.pdf
- James Saunderson, Limitations on the expressive power of convex cones without long chains of faces, https://arxiv.org/abs/1902.06401v2
Change History (27)
comment:1 Changed 3 years ago by
Dependencies: | → #30095 |
---|
comment:2 Changed 2 years ago by
Milestone: | sage-9.2 → sage-9.3 |
---|
comment:3 Changed 2 years ago by
Cc: | mjo added |
---|
comment:4 Changed 2 years ago by
Milestone: | sage-9.3 → sage-9.4 |
---|
comment:5 Changed 20 months ago by
Dependencies: | #30095 → #31919 |
---|---|
Description: | modified (diff) |
Summary: | Cone of positive-semidefinite symmetric bilinear forms → Cone of positive-semidefinite matrices / symmetric bilinear forms |
comment:6 Changed 20 months ago by
Description: | modified (diff) |
---|
comment:7 Changed 20 months ago by
Authors: | → Matthias Koeppe |
---|---|
Cc: | gh-kliem added |
Description: | modified (diff) |
Summary: | Cone of positive-semidefinite matrices / symmetric bilinear forms → Cone of positive-semidefinite matrices |
comment:8 Changed 20 months ago by
Dependencies: | #31919 → #31919, #31959 |
---|
comment:9 Changed 20 months ago by
Branch: | → u/mkoeppe/cone_of_positive_semidefinite_matrices |
---|
comment:10 Changed 20 months ago by
Commit: | → 7e821cf6d11e722c93de2757f48955ee5f0b0950 |
---|
Branch pushed to git repo; I updated commit sha1. New commits:
7e821cf | src/sage/geometry/semialgebraic/semidefinite.py: Clarify that all matrices are symmetric
|
comment:11 Changed 20 months ago by
Dependencies: | #31919, #31959 → #31919, #31959, #31990 |
---|
comment:12 Changed 20 months ago by
Commit: | 7e821cf6d11e722c93de2757f48955ee5f0b0950 → 59acb68a6c7a3fa017a01dde758538783169685d |
---|
Branch pushed to git repo; I updated commit sha1. New commits:
7323b10 | ConvexSet_base._test_contains: Only test extension to AA for exact base rings
|
94e6858 | RelativeInterior.ambient, ambient_vector_space, is_universe: New
|
0c9bc94 | ConvexSet_base: Add default implementations of ambient, ambient_dim; add doctests
|
7d3ae5c | Merge #31959
|
2b1040c | ConvexSet_base.{an_element,some_elements}, Polyhedron.some_elements, RelativeInterior.some_elements: New
|
a884517 | PolyhedronFace.some_elements: New
|
a0c6c48 | Merge #31990
|
59acb68 | src/sage/geometry/semialgebraic/semidefinite.py: Expand
|
comment:13 Changed 20 months ago by
Dependencies: | #31919, #31959, #31990 → #31919, #31995, #31959, #31990 |
---|
comment:14 Changed 20 months ago by
Commit: | 59acb68a6c7a3fa017a01dde758538783169685d → 47e793d7bc7f5b42fa37a80587990bf9ecb5f171 |
---|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
ce91e44 | src/sage/geometry/relative_interior.py: Fix doctest output
|
b19b3cc | Merge #31959
|
f0e7c58 | ambient_vector_space docstring: Fix bad blocks
|
200d967 | ConvexSet_base.ambient doctest: Actually test the method
|
1c2bef5 | Merge #31959
|
ed898e6 | ConvexSet_base.an_element, some_elements: Go through generator method _some_elements_, make some_elements return a list
|
b3ac0f3 | ConvexSet_base.an_element, some_elements: Raise NotImplementedError if _some_elements_ is NotImplemented
|
7152e1f | ConvexSet_base._test_contains: Test some_elements too
|
d2dc07e | Merge #31990
|
47e793d | SemidefiniteMatrices_base.affine_hull: Add doctests
|
comment:15 Changed 20 months ago by
Description: | modified (diff) |
---|
comment:16 Changed 20 months ago by
Commit: | 47e793d7bc7f5b42fa37a80587990bf9ecb5f171 → 5db9a34a50fddd64aac3f2e07c276725a9f0b561 |
---|
comment:17 Changed 20 months ago by
Description: | modified (diff) |
---|
comment:18 Changed 20 months ago by
Commit: | 5db9a34a50fddd64aac3f2e07c276725a9f0b561 → 076d78fca8bfe76eb8f7dd61a83c371e9653ad51 |
---|
Branch pushed to git repo; I updated commit sha1. New commits:
44f52b8 | sage.geometry.semialgebraic.semidefinite: More examples, code refinements
|
076d78f | ConvexSet_conic, ConvexSet_closed_conic, ConvexSet_proper_conic: New; move some methods here from ConvexRationalPolyhedralCone, PositiveSemidefiniteMatrices
|
comment:19 Changed 20 months ago by
Commit: | 076d78fca8bfe76eb8f7dd61a83c371e9653ad51 → 2a17c37603280f8b38970375bd908386d1d321b8 |
---|
Branch pushed to git repo; I updated commit sha1. New commits:
2a17c37 | Fixup attrcall
|
comment:20 Changed 20 months ago by
Commit: | 2a17c37603280f8b38970375bd908386d1d321b8 → 2d890d639009145ddb5e15a290f70a09494359bc |
---|
comment:21 Changed 19 months ago by
Milestone: | sage-9.4 → sage-9.5 |
---|
comment:22 Changed 14 months ago by
Milestone: | sage-9.5 → sage-9.6 |
---|
comment:23 Changed 10 months ago by
Milestone: | sage-9.6 → sage-9.7 |
---|
comment:24 Changed 5 months ago by
Commit: | 2d890d639009145ddb5e15a290f70a09494359bc → 7e16b79577b4578b432690e32cc2f7d40b213279 |
---|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
76f8368 | sage.geometry.semialgebraic.semidefinite: New
|
d9be74b | src/sage/geometry/semialgebraic/semidefinite.py: Clarify that all matrices are symmetric
|
a8f8306 | src/sage/geometry/semialgebraic/semidefinite.py: Expand
|
dd1d87c | SemidefiniteMatrices_base.affine_hull: Add doctests
|
3d61099 | SemidefiniteMatrices_base: Raise NotImplementedError for non-frield rings; implement _some_elements_
|
9a123f4 | sage.geometry.semialgebraic.semidefinite: More examples, code refinements
|
8dce371 | ConvexSet_conic, ConvexSet_closed_conic, ConvexSet_proper_conic: New; move some methods here from ConvexRationalPolyhedralCone, PositiveSemidefiniteMatrices
|
f7d233a | Fixup attrcall
|
7e16b79 | ConvexSet_proper_conic.affine_hull, dim: New
|
comment:25 Changed 5 months ago by
Dependencies: | #31919, #31995, #31959, #31990 |
---|
comment:26 Changed 5 months ago by
Milestone: | sage-9.7 → sage-9.8 |
---|
comment:27 Changed 3 weeks ago by
Milestone: | sage-9.8 → sage-9.9 |
---|
Note: See
TracTickets for help on using
tickets.
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.