On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants

03/02/2020
by   Joseph Ben Geloun, et al.
0

Group invariants are used in high energy physics to define quantum field theory interactions. In this paper, we are presenting the parallel algebraic computation of special invariants called symplectic and even focusing on one particular invariant that finds recent interest in physics. Our results will export to other invariants. The cost of performing basic computations on the multivariate polynomials involved evolves during the computation, as the polynomials get larger or with an increasing number of terms. However, in some cases, they stay small. Traditionally, high-performance software is optimized by running it on a smaller data set in order to use profiling information to set some tuning parameters. Since the (communication and computation) costs evolve during the computation, the first iterations of the computation might not be representative of the rest of the computation and this approach cannot be applied in this case. To cope with this evolution, we are presenting an approach to get performance data and tune the algorithm during the execution.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/13/2023

From Polynomial Invariants to Linear Loops

Loop invariants are software properties that hold before and after every...
research
01/06/2020

A user's guide to basic knot and link theory

This paper is expository and is accessible to students. We define simple...
research
07/31/2021

Solving Constrained Horn Clauses over ADTs by Finite Model Finding

First-order logic is a natural way of expressing the properties of compu...
research
10/25/2019

Polynomial Probabilistic Invariants and the Optional Stopping Theorem

In this paper we present methods for the synthesis of polynomial invaria...
research
03/01/2023

Some Remarks on Random Vectors and O(n)-Invariants

Computations involving invariant random vectors are directly related to ...
research
10/27/2020

Computation of Large Asymptotics of 3-Manifold Quantum Invariants

Quantum topological invariants have played an important role in computat...
research
11/12/2020

Invariants of Self-Intersected N-Periodics in the Elliptic Billiard

We study self-intersected N-periodics in the elliptic billiard, describi...

Please sign up or login with your details

Forgot password? Click here to reset