Cadabra (computer program)

Last updated
Cadabra
Developer(s) Kasper Peeters
Stable release
2.4.4 / 20 November 2023;33 days ago (2023-11-20) [1]
Repository
Written in C++, Python
Operating system Linux, macOS, Microsoft Windows
Type Computer algebra system
License GPL
Website cadabra.science

Cadabra is a computer algebra system designed specifically for the solution of problems encountered in classical field theory, quantum field theory and string theory.

Contents

The first version of Cadabra was developed around 2001 for computing higher-derivative string theory correction to supergravity. [2] [3]

Released under the GNU General Public License, Cadabra is free software.

Cadabra has extensive functionality for tensor polynomial simplification including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more. The input format is a subset of TeX. Both a command-line and a graphical interface are available.

A Java program inspired by Cadabra called Redberry was developed between 2013 and 2016. It achieved faster speeds for most index contractions with an approach based on the graph isomorphism problem rather than canonicalisation. [4]

See also

Related Research Articles

<span class="mw-page-title-main">Loop quantum gravity</span> Theory of quantum gravity, merging quantum mechanics and general relativity

Loop quantum gravity (LQG) is a theory of quantum gravity by incorporating matter of the Standard Model into the framework established for the intrinsic quantum gravity case. It is an attempt to develop a quantum theory of gravity based directly on Einstein's geometric formulation rather than the treatment of gravity as a mysterious mechanism (force). As a theory, LQG postulates that the structure of space and time is composed of finite loops woven into an extremely fine fabric or network. These networks of loops are called spin networks. The evolution of a spin network, or spin foam, has a scale above the order of a Planck length, approximately 10−35 meters, and smaller scales are meaningless. Consequently, not just matter, but space itself, prefers an atomic structure.

In theoretical physics, twistor theory was proposed by Roger Penrose in 1967 as a possible path to quantum gravity and has evolved into a widely studied branch of theoretical and mathematical physics. Penrose's idea was that twistor space should be the basic arena for physics from which space-time itself should emerge. It has led to powerful mathematical tools that have applications to differential and integral geometry, nonlinear differential equations and representation theory, and in physics to general relativity, quantum field theory, and the theory of scattering amplitudes. Twistor theory arose in the context of the rapidly expanding mathematical developments in Einstein's theory of general relativity in the late 1950s and in the 1960s and carries a number of influences from that period. In particular, Roger Penrose has credited Ivor Robinson as an important early influence in the development of twistor theory, through his construction of so-called Robinson congruences.

Laurent Freidel is a French theoretical physicist and mathematical physicist known mainly for his contributions to quantum gravity, including loop quantum gravity, spin foam models, doubly special relativity, group field theory, relative locality and most recently metastring theory. He is currently a faculty member at Perimeter Institute for Theoretical Physics in Waterloo, Ontario, Canada.

In particle physics, the hypothetical dilaton particle is a particle of a scalar field that appears in theories with extra dimensions when the volume of the compactified dimensions varies. It appears as a radion in Kaluza–Klein theory's compactifications of extra dimensions. In Brans–Dicke theory of gravity, Newton's constant is not presumed to be constant but instead 1/G is replaced by a scalar field and the associated particle is the dilaton.

In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for two of the five consistent superstring theories in ten dimensions. Both theories have extended supersymmetry which is maximal amount of supersymmetry — namely 32 supercharges — in ten dimensions. Both theories are based on oriented closed strings. On the worldsheet, they differ only in the choice of GSO projection.

<span class="mw-page-title-main">Quantum field theory in curved spacetime</span> Extension of quantum field theory to curved spacetime

In theoretical physics, quantum field theory in curved spacetime (QFTCS) is an extension of quantum field theory from Minkowski spacetime to a general curved spacetime. This theory uses a semi-classical approach; it treats spacetime as a fixed, classical background, while giving a quantum-mechanical description of the matter and energy propagating through that spacetime. A general prediction of this theory is that particles can be created by time-dependent gravitational fields (multigraviton pair production), or by time-independent gravitational fields that contain horizons. The most famous example of the latter is the phenomenon of Hawking radiation emitted by black holes.

In string theory, K-theory classification refers to a conjectured application of K-theory to superstrings, to classify the allowed Ramond–Ramond field strengths as well as the charges of stable D-branes.

In physical cosmology, fractal cosmology is a set of minority cosmological theories which state that the distribution of matter in the Universe, or the structure of the universe itself, is a fractal across a wide range of scales. More generally, it relates to the usage or appearance of fractals in the study of the universe and matter. A central issue in this field is the fractal dimension of the universe or of matter distribution within it, when measured at very large or very small scales.

The BTZ black hole, named after Máximo Bañados, Claudio Teitelboim, and Jorge Zanelli, is a black hole solution for (2+1)-dimensional topological gravity with a negative cosmological constant.

In mathematical physics, de Sitter invariant special relativity is the speculative idea that the fundamental symmetry group of spacetime is the indefinite orthogonal group SO(4,1), that of de Sitter space. In the standard theory of general relativity, de Sitter space is a highly symmetrical special vacuum solution, which requires a cosmological constant or the stress–energy of a constant scalar field to sustain.

The Gregory–Laflamme instability is a result in theoretical physics which states that certain black strings and branes are unstable in dimensions higher than four.

In theoretical physics, little string theory is a non-gravitational non-local theory in six spacetime dimensions that can be obtained as an effective theory of NS5-branes in the limit in which gravity decouples. Little string theories exhibit T-duality, much like the full string theory.

In mathematical physics, the concept of quantum spacetime is a generalization of the usual concept of spacetime in which some variables that ordinarily commute are assumed not to commute and form a different Lie algebra. The choice of that algebra still varies from theory to theory. As a result of this change some variables that are usually continuous may become discrete. Often only such discrete variables are called "quantized"; usage varies.

<span class="mw-page-title-main">Group field theory</span> Quantum field theory with a Lie group base manifold

Group field theory (GFT) is a quantum field theory in which the base manifold is taken to be a Lie group. It is closely related to background independent quantum gravity approaches such as loop quantum gravity, the spin foam formalism and causal dynamical triangulation. It can be shown that its perturbative expansion can be interpreted as spin foams and simplicial pseudo-manifolds (depending on the representation of the fields). Thus, its partition function defines a non-perturbative sum over all simplicial topologies and geometries, giving a path integral formulation of quantum spacetime.

Ruth Ann Watson Gregory is a British mathematician and physicist, currently Head of Department of Physics and Professor of Theoretical Physics at King's College London. Her fields of specialisation are general relativity and cosmology.

A. W. Peet is a professor of physics at the University of Toronto. Peet's research interests include string theory as a quantum theory of gravity, quantum field theory and applications of string theory to black holes, gauge theories, cosmology, and the correspondence between anti-de Sitter space and conformal field theories.

Hermann Nicolai is a German theoretical physicist and director emeritus at the Max Planck Institute for Gravitational Physics in Potsdam-Golm.

The spectral dimension is a real-valued quantity that characterizes a spacetime geometry and topology. It characterizes a spread into space over time, e.g. a ink drop diffusing in a water glass or the evolution of a pandemic in a population. Its definition is as follow: if a phenomenon spreads as , with the time, then the spectral dimension is . The spectral dimension depends on the topology of the space, e.g., the distribution of neighbors in a population, and the diffusion rate.

Barak Kol is an Israeli theoretical physicist who studies fundamental laws, high-energy physics, and general relativity. He holds the Michael Polak chair in theoretical physics at the Racah Institute of Physics at the Hebrew University of Jerusalem.

<span class="mw-page-title-main">Pietro G. Frè</span> Italian theoretical physicist

Pietro G. Frè is an Italian theoretical physicist and an emeritus full professor of the University of Turin.

References

  1. "GitHub Releases". github.com/kpeeters. Retrieved 28 November 2023.
  2. Peeters, Kasper; Vanhove, Pierre; Westerberg, Anders (2001). "Supersymmetric higher-derivative actions in 10 and 11 dimensions, the associated superalgebras and their formulation in superspace". Classical and Quantum Gravity. 18 (5): 843–890. arXiv: hep-th/0010167 . Bibcode:2001CQGra..18..843P. doi:10.1088/0264-9381/18/5/307. ISSN   0264-9381. S2CID   6933319.
  3. Peeters, Kasper; Westerberg, Anders (2004-03-01). "The Ramond–Ramond sector of string theory beyond leading order". Classical and Quantum Gravity. 21 (6): 1643–1665. arXiv: hep-th/0307298 . Bibcode:2004CQGra..21.1643P. doi:10.1088/0264-9381/21/6/022. ISSN   0264-9381. S2CID   14418092.
  4. Bolotin, Dmitry; Poslavsky, Stanislav (2015). "Introduction to Redberry: A computer algebra system designed for tensor manipulation". arXiv: 1302.1219 [cs.SC].

Further reading