We gratefully acknowledge support from
the Simons Foundation and member institutions.

Mathematical Software

New submissions

[ total of 5 entries: 1-5 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Tue, 4 Oct 22

[1]  arXiv:2210.00005 [pdf, other]
Title: Cadabra and Python algorithms in General Relativity and Cosmology I: Generalities
Comments: 30 pages, 3 figures, cadabra code blocks. For associated files, see this https URL
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Software (cs.MS); Classical Physics (physics.class-ph); Computational Physics (physics.comp-ph)

The aim of this work is to present a series of concrete examples which illustrate how the computer algebra system Cadabra can be used to manipulate expressions appearing in General Relativity and other gravitational theories. We highlight the way in which Cadabra's philosophy differs from other systems with related functionality. The use of various new built-in packages is discussed, and we show how such packages can also be created by end-users directly using the notebook interface.
The current paper focuses on fairly generic applications in gravitational theories, including the use of differential forms, the derivation of field equations and the construction of their solutions. A follow-up paper discusses more specific applications related to the analysis of gravitational waves.

[2]  arXiv:2210.00007 [pdf, other]
Title: Cadabra and Python algorithms in General Relativity and Cosmology II: Gravitational Waves
Comments: 32 pages, 3 figures, cadabra code blocks. For associated files, see this https URL
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Software (cs.MS); Classical Physics (physics.class-ph); Computational Physics (physics.comp-ph)

Computer Algebra Systems (CASs) like Cadabra Software play a prominent role in a wide range of research activities in physics and related fields. We show how Cadabra language is easily implemented in the well established Python programming framework, gaining excellent flexibility and customization to address the issue of tensor perturbations in General Relativity. We obtain a performing algorithm to decompose tensorial quantities up to any perturbative order of the metric. The features of our code are tested by discussing some concrete computational issues in research activities related to first/higher-order gravitational waves.

[3]  arXiv:2210.00973 [pdf, ps, other]
Title: NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning
Comments: Submitted to the 14th International OPT Workshop on Optimization for Machine Learning. arXiv admin note: text overlap with arXiv:2111.13984
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Mathematical Software (cs.MS); Signal Processing (eess.SP); Optimization and Control (math.OC)

Imposing explicit constraints is relatively new but increasingly pressing in deep learning, stimulated by, e.g., trustworthy AI that performs robust optimization over complicated perturbation sets and scientific applications that need to respect physical laws and constraints. However, it can be hard to reliably solve constrained deep learning problems without optimization expertise. The existing deep learning frameworks do not admit constraints. General-purpose optimization packages can handle constraints but do not perform auto-differentiation and have trouble dealing with nonsmoothness. In this paper, we introduce a new software package called NCVX, whose initial release contains the solver PyGRANSO, a PyTorch-enabled general-purpose optimization package for constrained machine/deep learning problems, the first of its kind. NCVX inherits auto-differentiation, GPU acceleration, and tensor variables from PyTorch, and is built on freely available and widely used open-source frameworks. NCVX is available at https://ncvx.org, with detailed documentation and numerous examples from machine/deep learning and other fields.

Replacements for Tue, 4 Oct 22

[4]  arXiv:2202.05550 (replaced) [pdf, other]
Title: The Factorial-Basis Method for Finding Definite-Sum Solutions of Linear Recurrences With Polynomial Coefficients
Comments: 62 pages
Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS)
[5]  arXiv:2209.13768 (replaced) [pdf, other]
Title: Disruptive Changes in Field Equation Modeling: A Simple Interface for Wafer Scale Engines
Comments: 22 pages, 5 figures, 2 Tables
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Mathematical Software (cs.MS); Performance (cs.PF)
[ total of 5 entries: 1-5 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2210, contact, help  (Access key information)